George Hagen

	2008
2		George Hagen, Cesare Tinelli: Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. FMCAD 2008: 1-9
	2004
1		Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: DPLL( T): Fast Decision Procedures. CAV 2004: 175-188

Coauthor Index

1	Harald Ganzinger	[1]
2	Robert Nieuwenhuis	[1]
3	Albert Oliveras	[1]
4	Cesare Tinelli	[1] [2]