Teaching Formal Methods
Teaching Formal Methods
Jeremy Gibbons
,
Jose Nuno Oliveira
Details
OL Work ID
OL27343681W
Find this book
Open Library