Reasoning about Java Classes (Preliminary Report)

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

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

13 Downloads (Pure)

1 Article

1 results

Filter

1998
Reasoning about Java Classes (Preliminary Report)
Jacobs, B., van den Berg, J., Huisman, M., van Berkum, M., Hensel, U. & Tews, H., Oct 1998, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 33, 10, p. 329-340 12 p.
Research output: Contribution to journal › Article › Academic › peer-review
57 Citations (Scopus)