Automated Technology for Verification and Analysis
Conference Proceeding
Overview
publication date
- January 1, 2017
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 9783319681665