Publication:5398107

DOI10.4230/OASIcs.ICCSW.2013.95zbMath1281.68082MaRDI QIDQ5398107

Quoc-Sang Phan

Publication date: 26 February 2014

zbMATH Keywords

information flow; satisfiability modulo theories; symbolic execution

Mathematics Subject Classification ID

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)