Horst Hansen;Michael Löwe
-;-
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering