Web Directory

    Top: Computers: Computer_Science: People: B:

 

Bradfield, Julian

  Link Details for: Bradfield, Julian
Link Title: Bradfield, Julian Open in a new window
Link URL: http://homepages.inf.ed.ac.uk/jcb/
Link Details: University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Category: Top : Computers : Computer_Science : People : B
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:
Bradfield, Julian