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 Sat Apr 5 23:42:46 2025 BST.

Quick links

Prospective students

Prospective students

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