On Automation in the Verification of Software Barriers: Experience Report
Research Area: | Uncategorized | Year: | 2014 |
---|---|---|---|
Type of Publication: | Article | ||
Authors: |
|
||
Journal: | J. Autom. Reasoning | Volume: | 52 |
Number: | 3 | Pages: | 275-329 |
Journal's impact factor: | 1.691 | ||
BibTex: |
|||
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 |
||
[Bibtex] |