www.cs.rug.nl

     
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.