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…
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…