Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2017] [2016] [2015] [2014] [2013]
Selected Publications
    International Journal
    N/A
    Chinese Journal
    N/A
    International Conference & Workshop
  • Juan Zhai, Hanfei Wang, Jianhua Zhao. Assertion-Directed Precondition Synthesis for Loops over Data Structures.  In  SETTA 2015, download