Nabet, Aicha, and Rachid Boudour. 2021. “BigNFC: Novel Formal Model for NFC Based Context-Aware Applications”. Informatica 45 (5). https://doi.org/10.31449/inf.v45i5.3496.