João Mota is a student at the NOVA School of Science and Technology, concluding the MSc in Computer Science. He developed the Java Typestate Checker for the Checker Framework https://github.com/jdmota/java-typestate-checker.
João Mota is a student at the NOVA School of Science and Technology, concluding the MSc in Computer Science. He developed the Java Typestate Checker for the Checker Framework https://github.com/jdmota/java-typestate-checker.