The KeY-Tool

by Achim D. Brucker

Keywords:
Categories:
Documents:

QR Code for talk:brucker:key-tool:2004.Please cite this article as follows:
Achim D. Brucker. The KeY-Tool. Seminar: Specification and Verification of Object-oriented Software, ETH Zurich, Switzerland, 21. jan. 2004.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker:key-tool:2004,
address = {ETH Zurich, Switzerland},
author = {Achim D. Brucker},
day = {21},
event = {Seminar: Specification and Verification of Object-oriented Software},
handout = {https://www.brucker.ch/bibliography/download/2004/talk-brucker-key-tool-2004-2x2.pdf},
isodate = {2004-01-21},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {jan},
slides = {https://www.brucker.ch/bibliography/download/2004/talk-brucker-key-tool-2004.pdf},
title = {The {KeY}-Tool},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-key-tool-2004},
year = {2004},
}