Steps Towards Mechanizing Program Transformations Using PVS (1996)

Cached

Download Links

by Natarajan Shankar
Venue:Science of Computer Programming
Citations:10 - 1 self