From hardware verification to software verification: Re-use and re-learn
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3
Link opens in a new tab
Scopus
citations