Checking well-formedness of pure-method specifications (2008)

by Arsenii Rudich, Ádám Darvas, Peter Müller
Venue:of Lecture Notes in Computer Science