Bradfield, Julian

dcs.ed.ac.uk

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

Rate This Site

More in B Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5756608" title="Bradfield, Julian"><img src="https://e-sygoing.link/badge.php?lid=5756608" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Bradfield, Julian

Rate This Site

Submit Your Site

Related Links