Ott: Effective tool support for the working semanticist (0)

by P Sewell, F Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R Strnisa
Venue:J. Funct. Program