Please use this identifier to cite or link to this item:
Title: Ott: Effective tool support for the working semanticist
Authors: Sewell, P
Owens, S
Peskine, G
Ridge, T
Sarkar, S
Strniša, R
Nardelli, FZ
First Published: Jan-2010
Citation: JOURNAL OF FUNCTIONAL PROGRAMMING, 2010, 20 (1), pp. 71-122
DOI Link: 10.1017/S0956796809990293
ISSN: 0956-7968
eISSN: 1469-7653
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.