Sannella, Donald
dcs.ed.ac.ukUniversity of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.