1
Julkaistu 2013
Sisällysluettelo: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
Hae kokoteksti
Elektroninen E-kirja