Web Directory

    Top: Computers: Computer_Science: People: S:

 

Sannella, Donald

  Link Details for: Sannella, Donald
Link Title: Sannella, Donald Open in a new window
Link URL: http://homepages.inf.ed.ac.uk/dts/
Link Details: University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Category: Top : Computers : Computer_Science : People : S
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:
Sannella, Donald