Applied formal methods--FM-Trends 98
Applied formal methods--FM-Trends 98
Gerhard Goos
,
Dieter Hutter
Details
OL Work ID
OL16989640W
Subjects
Formal methods (Computer science)
Congresses
Computers, congresses
Find this book
Open Library