The KeY-Tool
Achim D. Brucker
Schlüsselwörter:
Kategorien:
Dokumente:
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker.
The KeY-Tool. Seminar: Specification and Verification of Object-oriented Software, ETH Zurich, Switzerland, 21. jan. 2004.
(Folien) (Handout) (BibTeX) (
)
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}, |