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.)
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Other title: | Industrial applications and strengthened foundations of formal methods. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©1997.
|
| Series: | Lecture notes in computer science ;
1313. |
| Subjects: |
PASCAL Offsite
| Call Number: |
QA76.9.S88 I577 1997
|
|---|---|
| QA76.9.S88 I577 1997 | Available Place a Hold |