Typechecking Java Protocols with [St]Mungo

Research index

Voinea, Dardha, Gay

Formal Techniques for Distributed Objects, Components, and Systems13 May 2020Open access

Open access

Voinea, Dardha, Gay · Formal Techniques for Distributed Objects, Components, and Systems · 2020

Discussion