Semantic Version Management based on Formal Certification.

Jean-Yves Vion-Dury, Nikolaos Lagos

Browse the full ICSoft paper archive.