[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesizing software verifiers from proof rules
Grebenshchikov, Sergey, Lopes, Nuno P., Popeea, Corneliu, Rybalchenko, AndreyYear:
2012
Language:
english
DOI:
10.1145/2254064.2254112
File:
PDF, 608 KB
english, 2012