Extending Java with Refinements
Recommended citation: Catarina Gamboa, Paulo Santos, Alcides Fonseca. (2020). Extending Java with Refinements. Program Semantics, Specification and Verification http://academicpages.github.io/files/paper2.pdf
Recommended citation: Catarina Gamboa, Paulo Santos, Alcides Fonseca. (2020). Extending Java with Refinements. Program Semantics, Specification and Verification http://academicpages.github.io/files/paper2.pdf