NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 15
  • 3
  • 1
  • Tagged with
  • 19
  • 7
  • 6
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 19 (0.05 seconds)

Spelling suggestions: "subject:"korrekthet""

1

Korrektheit und deren Durchsetzung im Umfeld langdauernder Abläufe

Schwenkreis, Friedemann. January 2001 (has links)
Stuttgart, Univ., Diss., 2001.
2

Certifying system translations using higher order theorem provers

Blech, Jan Olaf January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
3

Integration of verification and testing into compilation systems concept and case study /

Didrich, Klaus. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
4

Formal verification of pipelined microprocessors

Kröning, Daniel. Unknown Date (has links) (PDF)
University, Diss., 2001--Saarbrücken.
5

Specification and verification of object oriented software components

Roth, Andreas. January 2006 (has links)
University, Diss., 2006--Karlsruhe.
6

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Sabel, David January 2008 (has links)
Zugl.: Frankfurt (Main), Univ., Diss., 2008
7

Correctness preserving program refinements : proof theory and applications /

Back, R. J. R. January 1980 (has links)
Revision of Thesis (doctoral)--University of Helsinki, 1978. / Includes indexes. Includes bibliographical references (p. 109-112).
8

A demand-driven solver for constraint-based control flow analysis

Probst, Christian W. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
9

Semantics-directed generation of compilers and abstract machines

Diehl, Stephan. Unknown Date (has links) (PDF)
University, Diss., 1996--Saarbrücken.
10

Verifying OCL specifications of UML models tool support and compositionakity

Kyas, Marcel January 2006 (has links)
Zugl.: Leiden, Univ., Diss., 2006

Page generated in 0.0558 seconds