Cleaveland, Rance
VIAF ID: 305546730 (Personal)
Permalink: http://viaf.org/viaf/305546730
Preferred Forms
- 100 1 _ ‡a Cleaveland, Rance
-
- 100 1 _ ‡a Cleaveland, Rance
-
Works
Title | Sources |
---|---|
Applied Formal Methods in System Design | |
A logical process calculus, August 2002: | |
Proceedings |