Inventaire
Site en français

Prof. Krishnendu Chatterjee

Institute of Science and Technology Austria

(Austria)



Collaborate with the following search unit :


  ⊿ Verification and formal methods