Media type: E-Article Title: FME 2002:Formal Methods—Getting IT Right: Supplementing a UML Development Process with B Contributor: Treharne, Helen imprint: Springer Berlin Heidelberg, 2002 Published in: FME 2002:Formal Methods—Getting IT Right Language: Not determined DOI: 10.1007/3-540-45614-7_32 ISSN: 0302-9743 Origination: Footnote: