- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
[12] S.
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte / Technische Universität Dresden ; 2002,03
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
TU, Fak. Informatik
- (when)
-
2002
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:35 PM 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
- Hohmuth, Michael
- Tews, Hendrik
- Stephens, Shane G.
- TU, Fak. Informatik
Time of origin
- 2002
Other Objects (12)
Verification of the C0 compiler implementation on the source code level
Using Gerrit Code Review in an open-source project
SIMMER-III code verification phase I
A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts
Refinement-Based Verification of Communicating Unstructured Code
Applying CDCL to verification and test: when laziness pays off
Get Started with Open Source Formal Verification
Detecting unknown malicious code by applying classification techniques on OpCode patterns
Outsourcing Source Code Distribution Requirements
Source Code Interaction on Touchscreens
Compiler implementation verification through rigorous syntactical code inspection
Babelfish: a universal code parser for source code analysis
Verification of the C0 compiler implementation on the source code level
Using Gerrit Code Review in an open-source project
SIMMER-III code verification phase I
A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts
Refinement-Based Verification of Communicating Unstructured Code
Applying CDCL to verification and test: when laziness pays off
Get Started with Open Source Formal Verification
Detecting unknown malicious code by applying classification techniques on OpCode patterns
Outsourcing Source Code Distribution Requirements
Source Code Interaction on Touchscreens
Compiler implementation verification through rigorous syntactical code inspection
Babelfish: a universal code parser for source code analysis
Verification of the C0 compiler implementation on the source code level
Using Gerrit Code Review in an open-source project
SIMMER-III code verification phase I
A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts
Refinement-Based Verification of Communicating Unstructured Code
Applying CDCL to verification and test: when laziness pays off
Get Started with Open Source Formal Verification
Detecting unknown malicious code by applying classification techniques on OpCode patterns
Outsourcing Source Code Distribution Requirements
Source Code Interaction on Touchscreens
Compiler implementation verification through rigorous syntactical code inspection