iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/conf/nfm/GhaziUGTT14.rdf
Aboubakr Achraf El Ghazi et al.: JKelloy: A Proof Assistant for Relational Specifications of Java Programs. (2014) conf/nfm/GhaziUGTT14 10.1007/978-3-319-06200-6_13 JKelloy: A Proof Assistant for Relational Specifications of Java Programs. 5 Aboubakr Achraf El Ghazi 1 Mattias Ulbrich 2 Christoph Gladisch 3 Shmuel S. Tyszberowicz 4 Mana Taghdiri 5 173-187 NASA Formal Methods NASA Formal Methods 2014 2014 provenance information for RDF data of dblp record 'conf/nfm/GhaziUGTT14' 2023-06-26T20:44:41+0200