If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2013

    Automated Specification Discovery via User-Defined Predicates

    He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    File
    134 Downloads (Pure)
  • 2010

    Verifying Heap-Manipulating Programs with Unknown Procedure Calls

    Qin, S., Luo, C., He, G., Craciun, F. & Chin, W., 17 Nov 2010, Formal Methods and Software Engineering. Springer Verlag, p. 171-187 Chapter 13. (Formal Methods and Software Engineering; vol. 6447).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    File
    130 Downloads (Pure)