Additional Metadata
THEME Software (theme 1)
Publisher North-Holland
Journal Science of Computer Programming
Citation
Meng, S, Arbab, F, Aichernig, B.K, Astefanoaei, L, de Boer, F.S, & Rutten, J.J.M.M. (2012). Connectors as designs: Modelling refinement and test case generation. Science of Computer Programming, 77, 799–822.