Workshop

LfSA 2012 - Logics for System Analysis

Berkeley, July 7, 2012

Workshop/Program Chairs

  • André Platzer   (Carnegie Mellon University, Pittsburgh, USA)
        aplatzer@cs.cmu.edu
  • Philipp Rümmer   (Uppsala University, Sweden)
        philipp.ruemmer@it.uu.se
  • Program Committee