DMCA

Interpolation in Practical Formal Development (2001)

Cached

Download Links

by Juan Bicarregui , Theo Dimitrakos , Dov Gabbay , Tom Maibaum
Venue:LOGIC JOURNAL OF THE IGPL
Citations:9 - 2 self