Proof Explanation in the DR-DEVICE System
Nick Bassiliades, Grigoris Antoniou, Guido Governatori
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
9
Link opens in a new tab
Citations
(Scopus)