City Research Online

Items where Author is "Not known, "

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

Conference or Workshop Item

Bishop, P. G., Bloomfield, R. E. and Cyra, L. (2013). Combining Testing and Proof to Gain High Assurance in Software: a Case Study. Paper presented at the IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 4 - 7 Nov 2013, Pasadena, CA, USA.

This list was generated on Sat Jun 15 04:45:59 2019 UTC.