Roberto Virga

	2003
4		Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga: A Trustworthy Proof Checker. J. Autom. Reasoning 31(3-4): 231-260 (2003)
	2002
3		Amal J. Ahmed, Andrew W. Appel, Roberto Virga: A Stratified Semantics of General References A Stratified Semantics of General References. LICS 2002: 75-
	2000
2		Roberto Virga: Efficient Substitution in Hoare Logic Expressions. Electr. Notes Theor. Comput. Sci. 41(3): (2000)
	1996
1		Roberto Virga: Higher-Order Superposition for Dependent Types. RTA 1996: 123-137

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[3]
2	Andrew W. Appel	[3] [4]
3	Neophytos G. Michael	[4]
4	Aaron Stump	[4]