Liana Hadarean

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	2011
1		Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli: CVC4. CAV 2011: 171-177

Coauthor Index

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Clark W. Barrett (Clark Barrett)	[1]
2	Christopher L. Conway	[1]
3	Morgan Deters	[1]
4	Dejan Jovanovic	[1]
5	Tim King	[1]
6	Andrew Reynolds	[1]
7	Cesare Tinelli	[1]