Skip to content

Induction-Guided Falsification.

Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi

VenueCICFEM
Year2006
ProceedingsICFEM

Browse the full ICFEM paper archive.