Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann.
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in in...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Hutter, Dieter
(Editor),
Stephan, Werner
(Editor),
Traverso, Paolo
(Editor),
Ullmann, Markus
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
|---|
| Edition: | 1st ed. 1999. |
|---|
| Series: | Lecture Notes in Computer Science,
1641
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|