Projecting programs on specifications: Definition and implications
- Jules Desharnais
- , Nafi Diallo
- , Wided Ghardallou
- , Ali Mili
Research output: Contribution to journal › Article › peer-review
2
Link opens in a new tab
Scopus
citations