- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
VerifyThis 2015 ; day:18 ; month:10 ; year:2016 ; pages:1-9
International journal on software tools for technology transfer ; (18.10.2016), 1-9
- Creator
-
Huisman, Marieke
- Contributor
-
Klebanov, Vladimir
Monahan, Rosemary
Tautschnig, Michael
SpringerLink (Online service)
- DOI
-
10.1007/s10009-016-0438-x
- URN
-
urn:nbn:de:1111-201611295159
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Huisman, Marieke
- Klebanov, Vladimir
- Monahan, Rosemary
- Tautschnig, Michael
- SpringerLink (Online service)
Other Objects (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