Achim D. Brucker und Burkhart Wolff
Schlüsselwörter:
Kategorien:
Dokumente:
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Burkhart Wolff.
HOL-OCL - A Formal Proof Environment for UML/OCL. Fundamental Approaches to Software Engineering (FASE08), Budapest, Hungary, 31. mar. 2008.
(Folien) (Handout) (BibTeX) ( )
address | = | {Budapest, Hungary}, | |
author | = | {Achim D. Brucker and Burkhart Wolff}, | |
day | = | {31}, | |
event | = | {Fundamental Approaches to Software Engineering {(FASE08)}}, | |
handout | = | {https://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-hol-ocl-2008-2x2.pdf}, | |
isodate | = | {2008-03-31}, | |
language | = | {USenglish}, | |
lecturer | = | {Achim D. Brucker}, | |
month | = | {mar}, | |
slides | = | {https://www.brucker.ch/bibliography/download/2008/talk-brucker.ea-hol-ocl-2008.pdf}, | |
title | = | {{HOL-OCL} -- A Formal Proof Environment for {UML/OCL}}, | |
url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-ocl-2008}, | |
year | = | {2008}, |