Prototyping a tool environment for run-time assertion checking in JML with communication histories

F.S. Boer, de, S. Gouw, de, J.J. Vinju

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

Fingerprint Dive into the research topics of 'Prototyping a tool environment for run-time assertion checking in JML with communication histories'. Together they form a unique fingerprint.

Engineering & Materials Science