Verifying Executable Object-Oriented Specifications with Separation Logic.

Stephan van Staden, Cristiano Calcagno, Bertrand Meyer

Browse the full ECOOP paper archive.