"Software Specification Refinement and Verification Method with I-Mathic ..."

Gerald H. Hilderink (2006)

Details and statistics

DOI:

access: closed

type: Conference or Workshop Paper

metadata version: 2012-03-23