book

Proceedings of the sixth workshop on Programming languages meets program verification

Koen Claessen Published in 2012 in New York, NY by ACM

Reference details