Publications

2016
DOI
[bibtex]
Erika Abraham, Klaus Havelund. Some Recent Advances in Automated Analysis. Software Tools for Technology Transfer 18(2), pages 121–128, 2016.
2014
DOI
[bibtex]
Erika Abraham, Klaus Havelund editors. Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '14). Springer, Volume 8413 of LNCS, 2014.