Java TypeState Checker is out!

Our paper "Java Typestate Checker" is freely available at:

https://link.springer.com/chapter/10.1007%2F978-3-030-78142-2_8

The paper will be presented by João Mota next wednesday (16 June) at 16:30 (Lisbon Time) @Coordination: feel free to register and attend!

https://www.discotec.org/2021/programme