Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore. ACL2s: The ACL2 Sedan . In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume. pages 59-60, IEEE Computer Society, 2007. [doi]
Abstract is missing.