Skip to content

Demonic Testing of Concurrent Programs.

Scott West, Sebastian Nanz, Bertrand Meyer

VenueCICFEM
Year2012
ProceedingsICFEM

Browse the full ICFEM paper archive.