Specification extraction by symbolic execution.

Research output: Contribution to conferencePaperpeer-review

8 Citations (Scopus)

Fingerprint Dive into the research topics of 'Specification extraction by symbolic execution.'. Together they form a unique fingerprint.

Engineering & Materials Science