Special issue: Automated specification and verification of web systems [... 9th ... International Workshop on ... WWV, which took place in Firenze, Italy, on June 6, 2013 ... 3 papers]
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Amsterdam u.a.
Elsevier
2015
|
| Schriftenreihe: | The Journal of logic and algebraic programming
84.2015,4 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | S. 483 - 550 |
|---|