![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
21st FTfJP@ECOOP 2019: London, UK
- Toby Murray, Gidon Ernst
:
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019. ACM 2019, ISBN 978-1-4503-6864-3 - Philipp Rümmer:
JayHorn: a Java model checker. 1:1 - Scott Owens:
Building trustworthy software with CakeML. 2:1 - Julia Belyakova:
Decidable tag-based semantic subtyping for nominal types, tuples, and unions. 3:1-3:11 - Mohammadsadegh Dalvandi
, Brijesh Dongol
:
Towards deductive verification of C11 programs with Event-B and ProB. 4:1-4:7 - Willem Penninckx, Amin Timany
, Bart Jacobs
:
Specifying I/O using abstract nested hoare triples in separation logic. 5:1-5:7 - Martin Mariusz Lester:
Analysis of MiniJava programs via translation to ML. 6:1-6:3 - Fangzhen Lin:
Translating classes to first-order logic: an example. 7:1-7:3
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.