DMCA

Reasoning about recursive procedures with parameters (2003)

Cached

Download Links

by Ralph-johan Back , Viorel Preoteasa
Venue:In Proceedings of the 2003 workshop on Mechanized
Citations:3 - 3 self