Normal view MARC view ISBD view

Automated Technology for Verification and Analysis

Dang Van Hung, Oleg Sokolsky

Automated Technology for Verification and Analysis - Springer Springer 2020

ISBN: 9783030591526

Source: EBOOK