1. Home
  2. Computer
  3. Computer Science
  4. Bradfield, Julian

Computer · Computer Science

Bradfield, Julian

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Bradfield, Julian

Bradfield, Julian- University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

Tags

Projects

Where it sits

Computer Computer Science

More in Computer Science

See all →