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. |
|