(1 - 24 from 31
)
Distinguished Lecture by Professor Natasha Sharygina - School of ...www.eecs.qmul.ac.uk/.../distinguished-lecture-by-professor-natasha-sharygina.html
www.eecs.qmul.ac.uk
Natasha Sharygina is a Full professor at the University of Lugano, Switzerland where she directs a Formal Verification and Security Lab.
TACAS : 19th International Conference on Tools and Algorithms...
www.wikicfp.com
Natasha Sharygina (University of Lugano, Switzerland) Bernhard Steffen (University of Dortmund, Germany) Cesare Tinelli (University of Iowa, USA)
sorted by relevance / date