Ott: Effective tool support for the working semanticist
From MaRDI portal
Publication:5189646
DOI10.1017/S0956796809990293zbMath1185.68201MaRDI QIDQ5189646
Peter Sewell, Scott Owens, Susmit Sarkar, F. Zappa Nardelli, Thomas Ridge, Gilles Peskine, Rok Strniša
Publication date: 17 March 2010
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Uses Software