Registered user since Thu 13 Nov 2014

Name: Pavol Bielik

Country: Slovakia

Affiliation: ETH Zurich, Switzerland

Personal website: http://www.srl.inf.ethz.ch/bielik

Research interests: program analysis, synthesis, concurrency

Contributions