![Theory group at ETAPS'13: x5](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
Our group is represented in this year’s ETAPS with five papers: Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig. Software Verification for Weak Memory via…
Our group is represented in this year’s ETAPS with five papers: Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig. Software Verification for Weak Memory via…