Jean-Yves Vion-Dury, Nikolaos Lagos. A Semantic Versioning Service Based on Formal Certification. In Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen, editors, Software Technologies - 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Volume 586 of Communications in Computer and Information Science, pages 42-62, Springer, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.