FM 2006 : Formal Methods
FM 2006 : Formal Methods
Jayadev Misra
,
Emil Sekerinski
,
Tobias Nipkow
Details
OL Work ID
OL27334883W
Subjects
Application software, development
Find this book
Goodreads
Open Library