Using Induction and Rewriting to Verify and Complete Parameterized Specifications (1996)

Cached

Download Links

by Adel Bouhoula
Venue:THEORETICAL COMPUTER SCIENCE
Citations:15 - 8 self