Verification of Infinite-State Systems by Specialization of CLP Programs

Cached

Download Links

by Fabio Fioravanti