ACL2 Seminar

Contact Name: 
Matt Kaufmann
Date: 
Jun 18, 2013 10:00am - 12:00pm

The ACL2 seminar is a regular meeting of the UT CS formal methods group headed by Profs. Warren Hunt and J Moore, and is open to anyone interested in formal methods.

Tags: