15  The Modeling Language

In this chapter, we describe the C++ subset and its translation to ACL2.



Subsections

David Russinoff 2017-08-01