FPTC: Automated Safety Analysis for Domain-Specific Languages
Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
12
Link opens in a new tab
Citations
(Scopus)