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

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Prototyping a tool environment for run-time assertion checking in JML with communication histories'. Samen vormen ze een unieke vingerafdruk.

Computer Science