![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
23rd FTfJP@ECOOP 2021: Virtual Event, Denmark
- David R. Cok:
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. ACM 2021, ISBN 978-1-4503-8543-5 - Indigo Orton
, Alan Mycroft
:
Source code patches from dynamic analysis. 1-8 - Ulrich Schöpp
, Chuangjie Xu
:
A generic type system for featherweight Java. 9-15 - Indigo Orton
, Alan Mycroft
:
Refactoring traces to identify concurrency improvements. 16-23 - Wolfram Pfeifer
, Jonas Schiffl
, Mattias Ulbrich
:
Reconstructing z3 proofs in KeY: there and back again. 24-31 - Marie Farrell
, Conor Reynolds
, Rosemary Monahan
:
Using dafny to solve the VerifyThis 2021 challenges. 32-38 - Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk
, Marieke Huisman
:
IntelliJML: a JML plugin for IntelliJ IDEA. 39-42 - Weitian Xing, Yuanhui Cheng, Werner Dietl
:
Ensuring correct cryptographic algorithm and provider usage at compile time. 43-50 - Iaroslav Golovanov, Hans Hüttel
, Mathias Jakobsen
, Mikkel Kettunen:
Behavioural separation with parallel usages. 51-58 - Armand Puccetti
, Gaël de Chalendar
, Pierre-Yves Gibello
:
Combining formal and machine learning techniques for the generation of JML specifications. 59-64 - David R. Cok:
JML and OpenJML for Java 16. 65-67
![](https://dblp.org/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.