Skip to content

Automatic Cross Validation of Multiple Specifications: A Case Study.

Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi

VenueBFASE
Year2010
ProceedingsFASE

Browse the full FASE paper archive.