Vlad C. Ciubotariu

	2004
1		Mark Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati: Combining Equivalence Verification and Completion Functions. FMCAD 2004: 98-112

Coauthor Index

1	Mark Aagaard	[1]
2	Jason T. Higgins	[1]
3	Farzad Khalvati	[1]