[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - A Formally-Verified C Static Analyzer
Jourdan, Jacques-Henri, Laporte, Vincent, Blazy, Sandrine, Leroy, Xavier, Pichardie, DavidYear:
2015
Language:
english
DOI:
10.1145/2676726.2676966
File:
PDF, 885 KB
english, 2015