You are here

  1. Home
  2. Resources
  3. Document
  4. 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

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.

AttachmentSize
PDF icon Dil, Truby and Osunde, Appendix A.pdf532.59 KB