Towards a taxonomy of dynamic invariants in software behaviour

Teemu Kanstren

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

Fingerprint Dive into the research topics of 'Towards a taxonomy of dynamic invariants in software behaviour'. Together they form a unique fingerprint.

Engineering & Materials Science