Spies, Katharina.
Spies, Katharina, 19..-....
VIAF ID: 4207773 ( Personal )
Permalink: http://viaf.org/viaf/4207773
Preferred Forms
-
- 100 1 0 ‡a Spies, Katharina
-
-
- 100 1 _ ‡a Spies, Katharina
- 100 1 _ ‡a Spies, Katharina, ‡d 19..-....
-
Works
Title | Sources |
---|---|
Formal systems specification : the RPC-memory specification case study | |
Proof technology and computation |