Difference between revisions of "ICMS 2014 session on automated proofs by induction"

From STATOR
Jump to navigation Jump to search
(organizer)
(No difference)

Revision as of 19:49, 13 February 2014

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’