City Research Online

Items where Author is "Not known"

Up a level
Group by: Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Bishop, P. G., Bloomfield, R. E. & 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 Sep 23 04:59:20 2023 UTC.