Special section on the 1999 Formal Methods Conference (FM '99) [5 papers]
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
New York
IEEE Computer Society
2000
|
Schriftenreihe: | IEEE transactions on software engineering
26,8 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | S. 673-814 |
---|