(1 - 16 from 19
)
FMICS programme - Inriafmics.inria.fr › workshop-17 › programme
fmics.inria.fr
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution; Konrad Siek and Paweł T. Wojciechowski
sorted by relevance / date