TY - BOOK AU - Michael Leuschel, Heike Wehrheim TI - Integrated Formal Methods SN - 978-3-642-00255-7 PY - 2009/// CY - Germany PB - Springer KW - Computer Science KW - Integrated Formal Methods UR - http://link.springer.com/openurl?genre=book&isbn=978-3-642-00254-0 ER -