CDC'15 workshop on formal synthesis!
30.07.2015
Our CDC'15 workshop, entitled "Towards Scalable Formal Synthesis of Complex Systems", will take place on December 14, 2015, in Osaka, Japan. The detailed program will be posted later.
30.07.2015
Our CDC'15 workshop, entitled "Towards Scalable Formal Synthesis of Complex Systems", will take place on December 14, 2015, in Osaka, Japan. The detailed program will be posted later.