Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham e-Theses
You are in:
Depositor Login | Administrator Login

Items where Author is "Yu, Shen-Wei"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Qualification Level | No Grouping
Number of theses: 1.

Yu, Shen-Wei (1999) Formal verification of concurrent programs. Doctoral thesis, Durham University.

This list was generated on Mon Dec 23 00:03:30 2024 GMT.

Quick links

Prospective students

Prospective students

Last Modified: Summer 2013 | Disclaimer | Trading name | Powered by EPrints 3