Absenden
Personalisieren
Ihre Benachrichtigungen
Ihre Listen
Ihre Suchanfragen
Hilfe
de
en
fr
it
Gast ::
Anmelden
Erweiterte Suche
Volltextsuche
Filter für die nächste Suche speichern
Ergebnisse einschränken
Dokumententyp
Artikel
(1)
Institution
National
(1)
Spezialsammlung
National Sammlungen
(1)
Sprache
Englisch
(1)
Autor
Furia, Carlo
(1)
Nordio, Martin
(1)
Tschannen, Julian
(1)
Fachgebiet
Medizin, Technik, Ingenieurwissenschaften, Informatik
(1)
Schlagwort
Automated Program verification
(1)
Eiffel
(1)
Experience report
(1)
Functional correctness
(1)
Verification challenges
(1)
sortiert nach: Datum der Hinterlegung
Datum der Hinterlegung
Titel
Autor
Aufsteigend
Absteigend
1
Ergebnisse
1
Postprint
AutoProofmeets some verification challenges
Tschannen, Julian
;
Furia, Carlo
;
Nordio, Martin
In: International Journal on Software Tools for Technology Transfer, 2015, vol. 17, no. 6, p. 745-755