Items where Author is "Yu, Shen-Wei"
![]() | Up a level |
Group by: Qualification Level | No Grouping
Jump to: Doctoral
Number of theses: 1.
Doctoral
Yu, Shen-Wei (1999) Formal verification of concurrent programs. Doctoral thesis, Durham University.
![]() | Up a level |
Yu, Shen-Wei (1999) Formal verification of concurrent programs. Doctoral thesis, Durham University.