Olga Grinchtein

发表

Simon Kramer, Johannes Borgström, Olga Grinchtein, 2006, Formal Aspects in Security and Trust.
Bengt Jonsson, Paul Pettersson, Olga Grinchtein, 2006, CONCUR.
Bengt Jonsson, Martin Leucker, Olga Grinchtein, 2010, Theor. Comput. Sci..
Bengt Jonsson, Martin Leucker, Olga Grinchtein, 2004, INFINITY.
Mats Carlsson, Justin Pearson, Olga Grinchtein, 2014, SMT.
Martin Leucker, Olga Grinchtein, 2003, INFINITY.
Mats Carlsson, Justin Pearson, Olga Grinchtein, 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Martin Leucker, Olga Grinchtein, M. Leucker, 2004, Formal Aspects of Computing.
Martin Leucker, Olga Grinchtein, 2006, ICGI.
Olga Grinchtein, 2006 .
Mats Carlsson, Justin Pearson, Olga Grinchtein, 2015, TAP@STAF.
Justin Pearson, Olga Grinchtein, Kenneth Balck, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Bengt Jonsson, Harald Raffelt, Bernhard Steffen, 2005, FASE.
Bengt Jonsson, Martin Leucker, Olga Grinchtein, 2010, Theor. Comput. Sci..
Mats Carlsson, Justin Pearson, Olga Grinchtein, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Mats Carlsson, Justin Pearson, Olga Grinchtein, 2014 .
Martin Leucker, Nir Piterman, Olga Grinchtein, 2006, IJCAR.