Java Typestate Checker

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-030-78142-2_8 ◽

2021 ◽

pp. 121-133

Author(s):

João Mota ◽

Marco Giunti ◽

António Ravara

Download Full-text