Cau, Antonio

cse.dmu.ac.uk

De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering.

Rate This Site

More in C Report

QR Code

Download PNG

Embed Badge

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

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

Cau, Antonio

Rate This Site

Submit Your Site

Related Links