Tom A. N. Engels

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse
Search algorithms for automated validation. J. Log. Algebraic Methods Program. 78 (4) (2009)