Semantic Version Management based on Formal Certification

This paper describes a Semantic Version Management method that enables managing consistently digital resources throughout their life cycle. This publication won the 'Best Paper Award' at at the 10th International Conference on Software Paradigm Trend (ICSOFT 2015) on 20-22 July in Colmar, France