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 |