|
Top: Computers: Computer_Science: People: C:
Cau, Antonio
 Link Details for: Cau, Antonio
| Link Title: |
Cau, Antonio  |
|
| Link URL: |
http://www.cse.dmu.ac.uk/~cau/ |
| Link Details: |
De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering. |
| Category: |
Top : Computers : Computer_Science : People : C |
| Link Type: |
     |
| ScreenShot: |
|
|
|
