Formal Methods : Foundations and Applications
Formal Methods : Foundations and Applications
Jim Woodcock
,
Marcel Vinícius Medeiros Oliveira
Details
OL Work ID
OL27343562W
Find this book
Open Library