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.

URLs from www.cs.rug.nl:

URL: http://www.cs.rug.nl/~peter/Zeilen/Seinvlaggen URL: http://www.cs.rug.nl/~wim URL: http://www.cs.rug.nl/~rudy URL: http://www.cs.rug.nl/~grl URL: http://www.cs.rug.nl/~roe/roe.html URL: http://www.cs.rug.nl/~rein URL: http://www.cs.rug.nl/~gert URL: http://www.cs.rug.nl

© searchids.com