Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
Formal Methods. FM 2019 International Workshops, p.77-91 [Peer Reviewed Journal]Springer Nature Switzerland AG 2020 ;ISSN: 0302-9743 ;ISBN: 3030549933 ;ISBN: 9783030549930 ;EISSN: 1611-3349 ;EISBN: 9783030549947 ;EISBN: 3030549941 ;DOI: 10.1007/978-3-030-54994-7_7
Digital Resources/Online E-Resources