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

	Keyword	Results for this URL	Total searches