Reasoning about Java Classes (Preliminary Report)

Bart Jacobs*, Joachim van den Berg, Marieke Huisman, Martijn van Berkum, Ulrich Hensel, Hendrik Tews

*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

57 Citations (Scopus)
  • 57 Citations
  • 1 Conference contribution

Search results

  • 1998

    Reasoning about Java Classes (Preliminary Report)

    Jacobs, B., Berg, J. V. D., Huisman, M., van Berkum, M., Hensel, U. & Tews, H., 1998, OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Vancouver, British Columbia, Canada, October 18-22, 1998. Freeman-Benson, B. N. & Chambers, C. (eds.). ACM SIGCOMM, p. 329-340 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    13 Downloads (Pure)