Nils Anders Danielsson

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification