[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - A framework to formally verify conformance of a software process to a software method
Khelladi, Djamel-Eddine, Bendraou, Reda, Baarir, Souheib, Laurent, Yoann, Gervais, Marie-PierreYear:
2015
Language:
english
DOI:
10.1145/2695664.2695789
File:
PDF, 1010 KB
english, 2015