FM 2005
FM 2005
John Fitzgerald
,
Andrzej Tarlecki
Details
OL Work ID
OL16931358W
Subjects
Development
Formal methods (Computer science)
Congresses
System design
Computer software
Computer science
Find this book
Open Library