Normal view MARC view ISBD view

Automated Technology for Verification and Analysis

Shuvendu K. Lahiri, Chao Wang

Automated Technology for Verification and Analysis - Springer Springer 2018

ISBN: 9783030010904

Source: EBOOK