Program Analysis
Conditioned Program Slicing testing, reuse,
reverse- and re-engineering.
Business Process Modelling process algebra.
Funded by EU FP5 INSPIRE project; EPSRC
GUSTT & TeTra projects; DaimlerChrysler.