University of Twente - Formal Methods and Tools
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Naum-Tomov
Currently studying Technical Computer Science in the University of Twente in the Netherlands.
Enschede, Netherlands