Jorne Kandziora

According to our database, Jorne Kandziora authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.

Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015