FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.)
Bok Engelsk 1997 International Symposium of Formal Methods Europe
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | XIII, 684 s. : ill.
|
| Emner | |
| ISBN | 3540635335
|
