Home Publications

On Automation in the Verification of Software Barriers: Experience Report

Research Area: Uncategorized Year: 2014
Type of Publication: Article
  • Malkis, Alexander
  • Banerjee, Anindya
Journal: J. Autom. Reasoning Volume: 52
Number: 3 Pages: 275-329
Journal's impact factor: 1.691
PARTNERS: IMDEA PROJECTS: Madrid Regional Government MINECO Project TIN2009-14599-C03-02 Desafios, EU NoE Project 256980 Nessos and Amarout Europe Project 291803. CITE(03/03/2014):0