𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the sixth workshop - Philadelphia, Pennsylvania, USA (2012.01.24-2012.01.24)] Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12 - Dependent interoperability

✍ Scribed by Osera, Peter-Michael; Sjöberg, Vilhelm; Zdancewic, Steve


Book ID
125542509
Publisher
ACM Press
Year
2012
Weight
625 KB
Category
Article
ISBN
1450311253

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES