Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021 : proceedings

Veröffentlicht 2020

N-PAT: A Nested Model-Checker (System Description)

von Bride, Hadrien
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)