Tests And Proofs Third International Conference, Tap 2009, Zurich,

Tests And Proofs 7th International Conference, Tap 2013, Budapest,

Tests And Proofs 9th International Conference, Tap 2015, Held As Part

Virtual And Mixed Reality Third International Conference, Vmr 2009,

Software Composition 8th International Conference, Sc 2009, Zurich,

Geosensor Networks Third International Conference, Gsn 2009, Oxford,

Geospatial Semantics Third International Conference, Geos 2009, Mexico

Catherine Dubois | Tests And Proofs | Taschenbuch | Englisch (2009) |

Certified Programs And Proofs Second International Conference, Cpp

Optimization And Learning Third International Conference, Ola 2020,

Mathematics And Computing Third International Conference, Icmc 2017,

Software And Data Technolgoies Third International Conference, Icsoft

Sensor Systems And Software Third International Icst Conference,

Logic And Argumentation Third International Conference, Clar 2020,

Smart Applications And Data Analysis Third International Conference,

Database Theory And Application International Conference, Dta 2009,