Conference
Experimental evaluation of certification trails using abstract data type validation
Title: | Experimental evaluation of certification trails using abstract data type validation |
---|---|
Authors: | Wilson, D.S., Sullivan, G.F., Masson, G.M. |
Source: | [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International. :300-305 1992 |
Relation: | 1992 Proceedings. The Sixteenth Annual International Computer Software and Applications Conference |
DOI: | 10.1109/CMPSAC.1992.217550 |
Database: | IEEE Xplore Digital Library |