Software Engineering and Formal Methods

Frank de Boer, Antonio Cerone

Software Engineering and Formal Methods - Springer Springer 2020

9783030587680

EBOOK