Sannella, Donald

Sannella, Donald
All Links

Share this:

Details of Sannella, Donald

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