Roles, stacks, histories: A triple for Hoare

Johannes Borgström, Andrew D. Gordon, Riccardo Pucella

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Roles, stacks, histories: A triple for Hoare'. Together they form a unique fingerprint.

Engineering & Materials Science