## Object-Oriented Verification based on Record Subtyping in Higher-Order Logic (1998)

### Cached

### Download Links

by
Wolfgang Naraschewski
,
Markus Wenzel

Venue: | In 11th International Conference on Theorem Proving in Higher Order Logics, volume 1479 of LNCS, ANU |

Citations: | 38 - 11 self |