Jaco van de Pol

Prof. Dr. J.C. van de Pol
Chair of Formal Methods and Tools
University of Twente, Faculty EEMCS

Contact Information
Research Interests
Publications from 2007 onward, Publications until 2006
Entries in DBLP and Google Scholar
Full Curriculum Vitae (November 2018, pdf)


Recent News