Automated Technology for Verification and Analysis
Book title Buchtitel
Automated Technology for Verification and Analysis
Publisher Herausgeber
12971
Series Schriftenreihe
Lecture Notes in Computer Science