2012-07-01
Connectors as designs: Modelling refinement and test case generation
Publication
Publication
Science of Computer Programming , Volume 77 p. 799- 822
Additional Metadata | |
---|---|
North-Holland | |
Science of Computer Programming | |
Organisation | Computer Security |
Meng, S., Arbab, F., Aichernig, B. K., Astefanoaei, L., de Boer, F., & Rutten, J. (2012). Connectors as designs: Modelling refinement and test case generation. Science of Computer Programming, 77, 799–822. |