Nik Tetteh-Lartey

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Wolfgang Appelt, Nik Tetteh-Lartey
The Formal Specification of the ISO Open Document Architecture (ODA) Standard. Comput. J. 36 (3) (1993)
David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey
The Case for Formal Methods in Standards. IEEE Softw. 7 (5) (1990)