Normal view MARC view ISBD view

Software Engineering and Formal Methods

Javier Camara, Martin Steffen

Software Engineering and Formal Methods - Springer Springer 2020

ISBN: 9783030575069

Source: EBOOK