Software Engineering and Formal Methods
Software Engineering and Formal Methods
Alberto Pardo
,
Gilles Barthe
,
Gerardo Schneider
Details
OL Work ID
OL27347638W
Find this book
Open Library