Detailed Information
URL: http://www.cs.rug.nl/~wim/Title: Hesselink, Wim H.
Description: University of Groningen - Nondeterminacy, predicate transformation semantics, distributed programming, design and correctness of algorithms, and mechanical theorem proving for correctness and design of distributed systems.
Directory: Computers/Computer_Science/People/H
|