Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ICSoft
/
Paper
A Semantic Versioning Service Based on Formal Certification.
Jean-Yves Vion-Dury
,
Nikolaos Lagos
Venue
C
ICSoft
Year
2015
Proceedings
ICSOFT (Selected Papers)
DBLP record
conf/icsoft/Vion-DuryL15a ↗
Browse the full
ICSoft paper archive
.