Modular verification of Ada generics

Reverse engineering of legacy code exposed

Proceedings of the 17th international conference on Software engineering

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations

IEEE Transactions on Software Engineering

Formal specification of COTS-based software: a case study

SSR '99 Proceedings of the 1999 symposium on Software reusability

A system for predictable component-based software construction

High integrity software

Verification of a controller for bart: an approach based on horn logic and denotational semantics

High integrity software

Modular Verification of Data Abstractions with Shared Realizations

IEEE Transactions on Software Engineering