1
Publicat 2013
Taula de continguts: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Obtenir text complet
Electrònic eBook