Work

Towards a Linked Data Vocabulary for the Certification of Software Properties