TY  - INPR
A1  - Kröning, Daniel
A1  - Margaria, Tiziana
A1  - Woodcock, Jim
T1  - Untitled
T2  - Formal aspects of computing : the international journal of formal methods
Y1  - 2011
U6  - https://doi.org/10.1007/s00165-011-0201-8
SN  - 0934-5043
VL  - 23
IS  - 5
SP  - 585
EP  - 588
PB  - Springer
CY  - New York
ER  -