Unifying theories of healthiness condition
Jifeng He and C. A. R. Hoare
Book Title
7th Asia−Pacific Software Engineering Conference (APSEC 2000)‚ 5−8 December 2000‚ Singapore
Pages
70−
Publisher
IEEE Computer Society
Year
2000
Jifeng He and C. A. R. Hoare