Web Directory

    Top: Computers: Computer_Science: People: F:

 

Fourman, Michael

  Link Details for: Fourman, Michael
Link Title: Fourman, Michael Open in a new window
Link URL: http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html
Link Details: School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
Category: Top : Computers : Computer_Science : People : F
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Fourman, Michael