We will be performing a scheduled maintenance of this server on Thursday, July 2, 2015. While we are working, this server may become unrechable for short periods of time. In the mean time, you may use our dblp server in Dagstuhl instead.
Thorsten Altenkirch, Todd D. Millstein: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009.ACM2009, ISBN 978-1-60558-330-3
Manuel Fähndrich: Language-agnostic specification and verification: invited talk.1-2