Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
authFullName_s : Margus Veanes
Image document

Alternating Simulation and IOCO

Margus Veanes , Nikolaj Bjørner
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.47-62, ⟨10.1007/978-3-642-16573-3_5⟩
Conference papers hal-01055244v1