- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Software engineering : ICSE; International Conference Proceedings; International Conference 17-19 sept 1979. Long Beach, Calif. : IEEE Comp Soc., S. 63-72
- Classification
-
Informatik
- Keyword
-
Programmanalyse ; Programmiersprache
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2010
- Creator
- URN
-
urn:nbn:de:bsz:93-opus-56570
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 PM CET
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
- Plödereder, Erhard
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2010
Other Objects (12)
Report on analysis and verification techniques
Verification of program computations
Data flow in program verification
The foundations of program verification
The foundations of program verification
Succeeding with TDD: Pragmatic Techniques for effective mocking
Verification of non-regular program properties
Compositional Concurrent Program Verification with RGITL
Program verification in synthetic domain theory
Verification Techniques for TSO-Relaxed Programs
Idioms in English : a pragmatic analysis
User Interaction in Deductive Interactive Program Verification
Report on analysis and verification techniques
Verification of program computations
Data flow in program verification
The foundations of program verification
The foundations of program verification
Succeeding with TDD: Pragmatic Techniques for effective mocking
Verification of non-regular program properties
Compositional Concurrent Program Verification with RGITL
Program verification in synthetic domain theory
Verification Techniques for TSO-Relaxed Programs
Idioms in English : a pragmatic analysis
User Interaction in Deductive Interactive Program Verification
Report on analysis and verification techniques
Verification of program computations
Data flow in program verification
The foundations of program verification
The foundations of program verification
Succeeding with TDD: Pragmatic Techniques for effective mocking
Verification of non-regular program properties
Compositional Concurrent Program Verification with RGITL
Program verification in synthetic domain theory
Verification Techniques for TSO-Relaxed Programs
Idioms in English : a pragmatic analysis