Normal view MARC view ISBD view

Automated Technology for Verification and Analysis

Deepak D'Souza, K. Narayan Kumar

Automated Technology for Verification and Analysis - Springer Springer 2017

ISBN: 9783319681672

Source: EBOOK