Formal Methods
Formal Methods
Kristin Yvonne Rozier
,
Matteo Pradella
,
André Platzer
,
Matteo Rossi
Details
OL Work ID
OL39129382W
Find this book
Goodreads
Open Library