Treffer: Runtime verification
Titel:
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar / Bernd Finkbeiner ...
Beteiligt:
Veröffentlicht:
[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2008]
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Dagstuhl seminar proceedings 07011