Search papers, labs, and topics across Lattice.
University of Turin
1
0
3
Guarantee type safety across product lines of C programs using a novel calculus with preprocessor directives.
