Arsenii Rudich

	2008
3		Arsenii Rudich, Ádám Darvas, Peter Müller: Checking Well-Formedness of Pure-Method Specifications. FM 2008: 68-83
2		Ádám Darvas, Farhad Mehta, Arsenii Rudich: Efficient Well-Definedness Checking. IJCAR 2008: 100-115
	2007
1		Peter Müller, Arsenii Rudich: Ownership transfer in universe types. OOPSLA 2007: 461-478

Coauthor Index

1	Ádám Darvas	[2] [3]
2	Farhad Mehta	[2]
3	Peter Müller	[1] [3]