SYSTEM FOR CLASSIFYING PROGRAM VERIFICATION METHODS: ASSIGNING MEANINGS TO PROGRAM VERIFICATION METHODS.

Ali Mili, Jules Desharnais

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'SYSTEM FOR CLASSIFYING PROGRAM VERIFICATION METHODS: ASSIGNING MEANINGS TO PROGRAM VERIFICATION METHODS.'. Together they form a unique fingerprint.