Browse by Author: Weghorn, H
 | Up a level |
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.