Languages and Formal Methods

Tools

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:

Date	Event
2015	Accepted

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 (login required)