Research Repository

Browse by Author: Weghorn, H

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Liu, Huai ORCID: 0000-0003-3125-4399, Wang, D, Lin, H and Chen, TY (2009) On the integration of metamorphic testing and model checking. In: The IADIS International Conference on Applied Computing 2009, 19 November 2009-21 November 2009, Rome, Italy.