Special issue on automated verification of critical systems (AVoCS 2011) [... eleventh International Workshop on ...held on September 12 - 14, 2011 in Newcastle upon Tyne, UK ... five papers]
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Amsterdam u.a.
Elsevier
2014
|
| Schriftenreihe: | Science of computer programming
82.2014 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | 98 S. |
|---|