Towards a Linked Data Vocabulary for the Certification of Software Properties. - Francesco Di Cerbo; Samuel Paul Kaluvuri; Frederic Motte; Bassem Nasser; Willis X. Chen; Stuart Short (SITIS, 2014)