1
出版事項 2013
目次: ...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...
全文の入手
電子媒体 eBook