Specification Matching of Object-Oriented Components.

Frank Feiks, David Hemer

Browse the full SEFM paper archive.