Jean-Yves Vion-Dury, Nikolaos Lagos. Semantic Version Management based on Formal Certification. In Pascal Lorenz, Marten van Sinderen, Jorge Cardoso, editors, ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015. pages 19-30, SciTePress, 2015. [doi]
Abstract is missing.