On Verifying Relational Specifications of Java Programs with JKelloy
| Autor: | El Ghazi, Aboubakr Achraf, Ulbrich, Mattias, Gladisch, Christoph, Tyszberowicz, Shmuel, Taghdiri, Mana |
|---|---|
| Rok vydání: | 2014 |
| Předmět: | |
| ISSN: | 2190-4782 |
| DOI: | 10.5445/ir/1000039153 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|