Unifying Theories of Reactive Design Contracts

Simon David Foster, Ana Lucia Caneca Cavalcanti, Samuel James Canham, JAMES Charles Paul Woodcock, Frank Zeyda

Computer Science

Research output: Contribution to journal › Article › peer-review

1 results
- Last Name(descending)

SIMON DAVID FOSTER
- simon.fosteryork.acuk
- Computer Science - Senior Lecturer
Person: Academic