SQUARE: Software QUality and Automated REasoning

SQUARE Group is a part of the State Key Laboratory of Computer Science,  Institute of Software, Chinese Academy of Sciences. The group is led by Prof. Jian Zhang.

The introduction goes here…