KeY Project: Integrated Deductive Software Design

Case Studies &
Tutorials

Address/Contact

Vladimir Klebanov – Towards Deductive Verification of Concurrent Java Software

Webmaster
09-Jan-2007