Formal Methods : Foundations and Applications
Formal Methods : Foundations and Applications
Christiano Braga
,
Narciso Martí-Oliet
Details
OL Work ID
OL25693083W
Subjects
Computer software, development
Find this book
Goodreads
Open Library