Bradfield, Julian

Bradfield, Julian
All Links

Share this:

Details of Bradfield, Julian

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