TY  - JOUR

T1  - Selected papers of the Refinement Workshop Turku (2008)

JO  - Science of Computer Programming

PY  - 2011/01/01

AU  - Boiten E

AU  - Derrick J

AU  - Schellhorn G

ED  - 

DO  - DOI: 10.1016/j.scico.2011.03.003

VL  - 76

IS  - 9

SP  - 737

EP  - 738

Y2  - 2024/10/23

ER  -