1. Home
  2. Computer
  3. Computer Science
  4. Hesselink, Wim H.

Computer · Computer Science

Hesselink, Wim H.

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Hesselink, Wim H.

Hesselink, Wim H.- 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.

Tags

C

Where it sits

Computer Computer Science

More in Computer Science

See all →