Workshop

LfSA 2010 - Logics for System Analysis

Edinburgh, 15. July 2010

Workshop/Programme Chairs

  • André Platzer (Carnegie Mellon University, Pittsburgh, USA)
        aplatzer@cs.cmu.edu
  • Philipp Rümmer (Oxford University, UK)
        philr@comlab.ox.ac.uk
  • Programme Committee