Behavioural Properties and Dynamic Software Update for Concurrent Programs

Gabrielle Austen Anderson

Research output: Contribution to conferenceUnpublished paperpeer-review

18 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Behavioural Properties and Dynamic Software Update for Concurrent Programs'. Together they form a unique fingerprint.

Engineering & Materials Science