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

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