ISSE

Search

Publications


2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2006

  • Interactive Verification of Medical Guidelines
    Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
    Proceedings of FM 2006: Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006, Springer LNCS 4085