Flon, Lawrence
VIAF ID: 244020106 ( Personal )
Permalink: http://viaf.org/viaf/244020106
Preferred Forms
-
- 100 1 _ ‡a Flon, Lawrence
Works
Title | Sources |
---|---|
Nondeterminism and the correctness of parallel programs | |
On the design and verification of operating systems | |
Program design with abstract data types |