"Exploiting multiformalism models for testing and performance evaluation in ..."

Enrico Barbierato, Marco Gribaudo, Mauro Iacono (2011)

Details and statistics

DOI: 10.4108/ICST.VALUETOOLS.2011.245727

access: closed

type: Conference or Workshop Paper

metadata version: 2024-08-04