Compositional design and verification of component-based information systems

J.M.E.M. Werf, van der

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

362 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Compositional design and verification of component-based information systems'. Together they form a unique fingerprint.

Computer Science