ICMS 2014 session on automated proofs by induction

From STATOR

Revision as of 18:49, 13 February 2014 by David Monniaux (talk | contribs) (organizer)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Organizer

David Monniaux, CNRS / VERIMAG

Retrieved from ‘http://stator.imag.fr/w/index.php?title=ICMS_2014_session_on_automated_proofs_by_induction&oldid=150’