Automated formal analysis and verification: an overview

International Journal of General Systems 2013 / 05 Vol. 42; Iss. 4

Automated formal analysis and verification: an overview

Křena, Bohuslav, Vojnar, Tomáš
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
42
Language:
english
Journal:
International Journal of General Systems
DOI:
10.1080/03081079.2012.757437
Date:
May, 2013
File:
PDF, 265 KB
english, 2013
Conversion to is in progress
Conversion to is failed