- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
VerifyThis 2015 ; day:18 ; month:10 ; year:2016 ; pages:1-9
International journal on software tools for technology transfer ; (18.10.2016), 1-9
- Urheber
-
Huisman, Marieke
- Beteiligte Personen und Organisationen
-
Klebanov, Vladimir
Monahan, Rosemary
Tautschnig, Michael
SpringerLink (Online service)
- DOI
-
10.1007/s10009-016-0438-x
- URN
-
urn:nbn:de:1111-201611295159
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:58 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Huisman, Marieke
- Klebanov, Vladimir
- Monahan, Rosemary
- Tautschnig, Michael
- SpringerLink (Online service)
Ähnliche Objekte (12)
VerifyThis 2019: a program verification competition
Verification of program computations
The foundations of program verification
The foundations of program verification
Data flow in program verification
Program verification in synthetic domain theory
Compositional Concurrent Program Verification with RGITL
Verification of non-regular program properties
Theory of program structures : schemes, semantics, verification
Models for software verification: Proving program correctness
User Interaction in Deductive Interactive Program Verification
Pragmatic techniques for program analysis and verification
VerifyThis 2019: a program verification competition
Verification of program computations
The foundations of program verification
The foundations of program verification
Data flow in program verification
Program verification in synthetic domain theory
Compositional Concurrent Program Verification with RGITL
Verification of non-regular program properties
Theory of program structures : schemes, semantics, verification
Models for software verification: Proving program correctness
User Interaction in Deductive Interactive Program Verification
Pragmatic techniques for program analysis and verification
VerifyThis 2019: a program verification competition
Verification of program computations
The foundations of program verification
The foundations of program verification
Data flow in program verification
Program verification in synthetic domain theory
Compositional Concurrent Program Verification with RGITL
Verification of non-regular program properties
Theory of program structures : schemes, semantics, verification
Models for software verification: Proving program correctness
User Interaction in Deductive Interactive Program Verification