Login

Publication

Detail

Publication date: 08/06/2021

Java Typestate Checker

Authors

Marco Giunti, António Ravara
URL https://link.springer.com/chapter/10.1007/978-3-030-78142-2_8
Publisher Springer
Series LNCS
Volume 12717
URL https://link.springer.com/chapter/10.1007/978-3-030-78142-2_8
Publisher Springer
Series LNCS
Volume 12717