On Verifying Relational Specifications of Java Programs with JKelloy / Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2014, 3Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2014Description: Online-RessourceGenre/Form: Online resources: Notes: Anmerkungen: Elektronische RessourceNote: Hinweis: Elektronische RessourcePPN: PPN: 780645596Package identifier: Produktsigel: ZDB-296-TTNNo physical items for this record