A model checker for the verification of Browser based protocols
Academic Article in Scopus
- Overview
- Identity
- Additional document info
- View All
Overview
status
publication date
- January 1, 2017
published in
- Computacion y Sistemas Journal
- Computacion y Sistemas Journal