David Scott Warren
-
Nexcel, a deductive spreadsheet
The Knowledge Engineering Review
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering