Typechecking Java Protocols with [St]Mungo
Published in Lecture notes in computer science • Jan 1, 2020
Authors:,,
A. Laura Voinea
Ornela Dardha
Simon J. Gay
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!