Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Tests and Proofs |
Herausgeber (Verlag) | Springer Verlag |
Seiten | 105-120 |
Band | 5668 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2009 |
Veranstaltung | Third International Conference on Tests and Proofs: TAP 2009 - Zürich, Schweiz Dauer: 2 Juli 2009 → 3 Juli 2009 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Herausgeber (Verlag) | Springer-Verlag |
Konferenz
Konferenz | Third International Conference on Tests and Proofs |
---|---|
Land/Gebiet | Schweiz |
Ort | Zürich |
Zeitraum | 2/07/09 → 3/07/09 |
Projekte
- 1 Laufend
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet