Formal Methods : Foundations and Applications
Formal Methods : Foundations and Applications
Leila Ribeiro
,
Thierry Lecomte
Details
OL Work ID
OL25706143W
Subjects
Computer software, development
Find this book
Goodreads
Open Library