Arsenii Rudich

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Ádám Darvas, Farhad Mehta, Arsenii Rudich
Efficient Well-Definedness Checking. IJCAR (2008)
Arsenii Rudich, Ádám Darvas, Peter Müller
Checking Well-Formedness of Pure-Method Specifications. FM (2008)
Peter Müller, Arsenii Rudich
Ownership transfer in universe types. OOPSLA (2007)