@article{DBLP:journals/jar/MalkisB14, author = "Alexander Malkis and Anindya Banerjee", journal = "J. Autom. Reasoning", note = "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", number = "3", pages = "275-329", title = "{O}n {A}utomation in the {V}erification of {S}oftware {B}arriers: {E}xperience {R}eport", volume = "52", year = "2014", }