Programming Languages and Systems: 7th European Symposium on ...
More editions
Gary Todd Leavens. Verifying Object-Oriented Programs that Use Subtypes. PhD thesis, MIT Laboratory for Computer Science, February 1989. Available as Technical Report MIT/LCS/TR-439. 1 2. K. Rustan M. Leino. Toward Reliable Modular ...