Marina A. Waldén
-
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Process refinement in b
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B