1993 | ||
---|---|---|
2 | Wolfgang Appelt, Nik Tetteh-Lartey: The Formal Specification of the ISO Open Document Architecture (ODA) Standard. Comput. J. 36(3): 269-279 (1993) | |
1990 | ||
1 | David Blyth, Cornelia Boldyreff, Clive Ruggles, Nik Tetteh-Lartey: The Case for Formal Methods in Standards. IEEE Software 7(5): 65-67 (1990) |
1 | Wolfgang Appelt | [2] |
2 | David Blyth | [1] |
3 | Cornelia Boldyreff | [1] |
4 | Clive Ruggles | [1] |