Ott: effective tool support for the working semanticist (2007)

by P Sewell, F Zappa Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R Strnǐsa
Venue:SIGPLAN Not