Languages and Formal Methods

Crowcroft, J and d'Inverno, Mark. 2015. Languages and Formal Methods. In: J Crowcroft, ed. Open Distributed Systems. UCL Press.. [Book Section]

No full text available

Item Type:

Book Section

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
2015Accepted

Item ID:

15313

Date Deposited:

07 Dec 2015 16:33

Last Modified:

01 Aug 2018 16:31

URI:

https://research.gold.ac.uk/id/eprint/15313

Edit Record Edit Record (login required)