Bibliografía (2 obras)
Computer Aided Verification
2020
Automated Technology for Verification and Analysis
2018