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  - 
TY  - INPR
A1  - Rosamond, Frances
A1  - Bardohl, Roswitha
A1  - Diehl, Stephan
A1  - Geisler, Uwe
A1  - Bolduan, Gordon
A1  - Lessmoellmann, Annette
A1  - Schwill, Andreas
A1  - Stege, Ulrike
T1  - Virtual extension reaching out to the media  become a computer science ambassador
T2  - Communications of the ACM / Association for Computing Machinery
Y1  - 2011
U6  - https://doi.org/10.1145/1897852.1897880
SN  - 0001-0782
VL  - 54
IS  - 3
SP  - 113
EP  - 116
PB  - Association for Computing Machinery
CY  - New York
ER  -