Haoqian Zheng

	Contact

Publications

2013

• Verifizierte Berechnung von Datenabhängigkeiten
  November 2013 : H. Zheng

Theses worked on

• Verified implementation for data dependencies (finished), bachelor/study thesis