pdfreaders.org

An Interactive Proof Environment for Object-oriented Specifications

Achim D. Brucker

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker:interactive:2007.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker. An Interactive Proof Environment for Object-oriented Specifications. Ph.D. Defense, ETH Zurich, Switzerland, 9. mar. 2007.
(Folien) (Handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Talk{ talk:brucker:interactive:2007,
address = {ETH Zurich, Switzerland},
author = {Achim D. Brucker},
day = {9},
event = {Ph.D. Defense},
handout = {https://www.brucker.ch/bibliography/download/2007/talk-brucker-interactive-2007-2x2.pdf},
isodate = {2007-03-09},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {mar},
slides = {https://www.brucker.ch/bibliography/download/2007/talk-brucker-interactive-2007.pdf},
title = {An Interactive Proof Environment for Object-oriented Specifications},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-interactive-2007},
year = {2007},
}