![](/img/cover-not-exists.png)
Projecting programs on specifications: Definition and implications
Desharnais, Jules, Diallo, Nafi, Ghardallou, Wided, Mili, AliVolume:
138
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2016.11.006
Date:
May, 2017
File:
PDF, 588 KB
english, 2017