Verifying component and connector models against crosscutting structural views.

Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe

Browse the full ICSE paper archive.