Logical Testing Hoare-style Specification Meets Executable Validation Kathryn E. Gray Alan Mycroft

First Page		Document Content
Date: 2012-07-16 09:41:41		Logical Testing Hoare-style Specification Meets Executable Validation Kathryn E. Gray Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 156,64 KB Share Document on Facebook