Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • On Verifying Relational Specif...
  • Beschreibung

Treffer: On Verifying Relational Specifications of Java Programs with JKelloy

Titel:
On Verifying Relational Specifications of Java Programs with JKelloy / Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri
Beteiligt:
El Ghazi, Aboubakr Achraf ; Ulbrich, Mattias ; Gladisch, Christoph David; Tyszberowicz, Shmuel; Taghdiri, Mana
Körper­schaft:
Karlsruher Institut für Technologie. Fakultät für Informatik (Herausgebendes Organ)
Veröffent­licht:
Karlsruhe : KIT Karlsruher Institut für Technologie, 2014
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Karlsruhe reports in informatics ; 2014, 3
Anmerkungen:
Literaturverzeichnis: Seite 17-18
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen