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
