Skip to content
Vinony

Applied formal methods--FM-Trends 98

by Dieter Hutter, Gerhard Goos

Cover of Applied formal methods--FM-Trends 98

No description available.

Formal methods (Computer science)CongressesComputers, congresses
Applied formal methods--FM-Trends 98 by Dieter Hutter, Gerhard Goos — book · Vinony