Ian Graham
-
Behavioural specifications from class models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods