Publications

Publications for Klaus Havelund

2016
DOI
[bibtex]
Erika Abraham, Klaus Havelund. Some Recent Advances in Automated Analysis. Software Tools for Technology Transfer 18(2), pages 121–128, 2016.
Show all