The Open UniversitySkip to content
 

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Embed as feed
Group by: Published Date | Item Type | No Grouping
Jump to: 2006 | 2001
Number of items: 2.

2006

Jackson, Michael (2006). What can we expect from program verification? IEEE Computer, 39(10) pp. 65–71. file

2001

Nuseibeh, B. (2001). Weaving together requirements and architecture. IEEE Computer, 34(3) pp. 115–119. file

This list was generated on Wed Jun 19 22:09:33 2013 BST.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk