Fourman, Michael

Fourman, Michael
All Links

Share this:

Details of Fourman, Michael

About Fourman, Michael
Fourman, Michael- School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
A