Dil, A., Truby, S. and Osunde, J. (2018) Development and evaluation of a tool for Java structural specification testing. Java specification checking: software notes. Appendix A

Appendix A of the final report by Anton Dil, Sue Truby and Joseph Osunde.

Attachment Size
Dil, Truby and Osunde, Appendix A.pdf (532.59 KB) 532.59 KB