FM 2016 Papers Accepted

  • Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang: Towards Concolic Testing for Hybrid Systems, FM 2016

Delivering talks at Cyprus soon.