Testing the machine in the world

• Authors:

• Michael Jackson

• Affiliations:

• The Open University & Newcastle University

• Venue:
• HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
• Year:
• 2006