1. Home
  2. Computer
  3. Computer Science
  4. Sannella, Donald

Computer · Computer Science

Sannella, Donald

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Sannella, Donald

Sannella, Donald- University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.

Tags

N

Where it sits

Computer Computer Science

More in Computer Science

See all →