People

Julien Narboux

Email

Export publications Citations

Export publications BibTeX

Journal Articles

2012

(1 publication)

Janicic, P. and Narboux, J. and Quaresma, P. , "The Area Method: a Recapitulation", Journal of Automated Reasoning, vol. 48, pp. 489-532, 2012