D. Vroon

发表

P. Manolios, D. Vroon, 2003 .

Panagiotis Manolios, Daron Vroon, P. Manolios, 2005, Journal of Automated Reasoning.

Panagiotis Manolios, Matt Kaufmann, J. S. Moore, 2006 .

J. S. Moore, John Matthews, S. Ray, 2005 .

Daron Vroon, D. Vroon, 2007 .

José-Luis Ruiz-Reina, Panagiotis Manolios, Robert W. Sumners, 2008, J. Funct. Program..

Panagiotis Manolios, Daron Vroon, P. Manolios, 2004, FMCAD.

Sandip Ray, John Matthews, J. S. Moore, 2006, LPAR.

Panagiotis Manolios, Sudarshan K. Srinivasan, Daron Vroon, 2007, CAV.

Panagiotis Manolios, Peter C. Dillinger, J. S. Moore, 2007, 29th International Conference on Software Engineering (ICSE'07 Companion).

Panagiotis Manolios, Harsh Raju Chamarthi, Peter C. Dillinger, 2011, TACAS.

Panagiotis Manolios, Daron Vroon, P. Manolios, 2006, CAV.

Panagiotis Manolios, Daron Vroon, P. Manolios, 2003, CADE.

Panagiotis Manolios, Daron Vroon, P. Manolios, 2010, ITP.

Panagiotis Manolios, Daron Vroon, P. Manolios, 2003 .