An Agenda for Specifying Software Components with Complex Data Models.

Kirsten Winter, Thomas Santen, Maritta Heisel

Browse the full SAFECOMP paper archive.