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

by Peter Sewell , Francesco Zappa Nardelli , Scott Owens, Gilles Peskine , Thomas Ridge , Susmit Sarkar , Rok Strnisa
Venue: PROC. ICFP
Citations:42 - 4 self