Proceedings of the Second Workshop on Formal Methods in Software Practice March 4 - 5, 1998, Clearwater Beach, Florida, USA
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
New York, NY
ACM Press
1998
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|