ACL2 Seminar

Contact Name: 
Matt Kaufmann
Date: 
May 28, 2013 4:00pm - 6: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: