Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
Einar Broch Johnsen
,
Marcello Bonsangue
,
Erika Abraham
Details
OL Work ID
OL27385537W
Subjects
Computer science
Find this book
Goodreads
Open Library