Normal view MARC view ISBD view

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

Software Engineering and Formal Methods - Springer Springer 2017

ISBN: 9783319661971

Source: EBOOK