Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.

Steffen Helke, Thomas Santen

Browse the full FM paper archive.