- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Software engineering : ICSE; International Conference Proceedings; International Conference 17-19 sept 1979. Long Beach, Calif. : IEEE Comp Soc., S. 63-72
- Klassifikation
-
Informatik
- Schlagwort
-
Programmanalyse ; Programmiersprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2010
- Urheber
- URN
-
urn:nbn:de:bsz:93-opus-56570
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:24 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
- Plödereder, Erhard
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2010
Ähnliche Objekte (12)
Report on analysis and verification techniques
Verification of program computations
The foundations of program verification
The foundations of program verification
Data flow in program verification
Verification Techniques for TSO-Relaxed Programs
Program verification in synthetic domain theory
Compositional Concurrent Program Verification with RGITL
Verification of non-regular program properties
Enhanced kinship verification analysis based on color and texture handcrafted techniques
Succeeding with TDD: Pragmatic Techniques for effective mocking
Static verification techniques for attributed graph transformations
Report on analysis and verification techniques
Verification of program computations
The foundations of program verification
The foundations of program verification
Data flow in program verification
Verification Techniques for TSO-Relaxed Programs
Program verification in synthetic domain theory
Compositional Concurrent Program Verification with RGITL
Verification of non-regular program properties
Enhanced kinship verification analysis based on color and texture handcrafted techniques
Succeeding with TDD: Pragmatic Techniques for effective mocking
Static verification techniques for attributed graph transformations
Report on analysis and verification techniques
Verification of program computations
The foundations of program verification
The foundations of program verification
Data flow in program verification
Verification Techniques for TSO-Relaxed Programs
Program verification in synthetic domain theory
Compositional Concurrent Program Verification with RGITL
Verification of non-regular program properties
Enhanced kinship verification analysis based on color and texture handcrafted techniques
Succeeding with TDD: Pragmatic Techniques for effective mocking