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
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/36647
SN  - 0934-5043
VL  - 23
IS  - 5
SP  - 585
EP  - 588
PB  - Springer
CY  - New York
ER  -