Result: On Verifying Relational Specifications of Java Programs with JKelloy

*Title*:

On Verifying Relational Specifications of Java Programs with JKelloy / Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, and Mana Taghdiri

*Author/editor-in-chief*:

*Corporate*:

*Publication*:

Karlsruhe : KIT Karlsruher Institut für Technologie, 2014

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Karlsruhe reports in informatics ; 2014, 3

*Notes*:

Literaturverzeichnis: Seite 17-18

*Subject Added Keywords*:

*Result*: On Verifying Relational Specifications of Java Programs with JKelloy