Browse by Journal or Publication Title

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Number of items: 1.

Barbosa, Luis S., Petrenko, Alexander K., Cerone, Antonio and Shaikh, Siraj A ORCID: 0000-0002-0726-3319 (2010) Certification of opensource software A role for formal methods? International Journal of Computer Systems Science Engineering, 25 (4 SRC). pp. 273-281.

This list was generated on Fri Apr 26 12:25:46 2024 UTC.

University Of Gloucestershire

Bookmark and Share

Find Us On Social Media:

Social Media Icons Facebook Twitter Google+ YouTube Pinterest Linkedin

Other University Web Sites

University of Gloucestershire, The Park, Cheltenham, Gloucestershire, GL50 2RH. Telephone +44 (0)844 8010001.