Compositional design and verification of component-based information systems

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

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

431 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