Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
- S Danicic
- , M Harman
- , R Hierons
- , J Howroyd
- , M R Laurence
Research output: Contribution to journal › Article › peer-review
5
Citations
(Scopus)