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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1   Link opens in a new tab 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.
Sort by