Automated Technology for Verification and Analysis Yu-Fang Chen, Chih-Hong Cheng & Javier Esparza: другие книги

Verification and Evaluation of Computer and Communication Systems

2020