5th ACM workshop on programming languages meets program verification 2011 : (PLPV 2011) : held in conjunction with POPL 11 : Austin, Texas, USA : 29 January 2011. : Jan 2011, Austin, TX.
5th ACM workshop on programming languages meets program verification 2011 : (PLPV 2011) : held in conjunction with POPL 11 : Austin, Texas, USA : 29 January 2011. : Jan 2011, Austin, TX.