by Bouajjani, Ahmed, Derevenetc, Egor, Meyer, Roland
Published in Programming Languages and Systems (2013)

by Derevenetc, Egor, Meyer, Roland
Published in Automata, Languages, and Programming (2014)

by Fokin, Alexander, Derevenetc, Egor, Chernov, Alexander, Troshina, Katerina
Published in 2011 18th Working Conference on Reverse Engineering (01.10.2011)

by Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Bouajjani, Ahmed, Derevenetc, Egor, Leonardsson, Carl, Meyer, Roland
Published in Networked Systems (2021)

by Derevenetc, Egor, Meyer, Roland, Schweizer, Sebastian
Published in Networked Systems (2017)

by Bouajjani, Ahmed, Calin, Georgel, Derevenetc, Egor, Meyer, Roland
Published in Fundamental Approaches to Software Engineering (2015)

by Derevenetc, Egor, Meyer, Roland
Year of Publication 28.04.2014

by Derevenetc, Egor, Meyer, Roland, Schweizer, Sebastian
Year of Publication 14.03.2017

by Felleisen, Matthias, Gardner, Philippa
Year of Publication 2013

by Derevenetc, Egor, Meyer, Roland
Published in arXiv.org (28.04.2014)

by Derevenetc, Egor, Meyer, Roland, Schweizer, Sebastian
Published in arXiv.org (14.03.2017)

by Bouajjani, Ahmed, Calin, Georgel, Derevenetc, Egor, Meyer, Roland
Year of Publication 12.01.2015

by Bouajjani, Ahmed, Derevenetc, Egor, Meyer, Roland
Year of Publication 30.08.2012

by Calin, Georgel, Derevenetc, Egor, Majumdar, Rupak, Meyer, Roland
Year of Publication 24.07.2013

by Bouajjani, Ahmed, Georgel Calin, Derevenetc, Egor, Meyer, Roland
Published in arXiv.org (12.01.2015)

by Bouajjani, Ahmed, Derevenetc, Egor, Meyer, Roland
Published in arXiv.org (29.10.2012)

by Georgel Calin, Derevenetc, Egor, Majumdar, Rupak, Meyer, Roland
Published in arXiv.org (24.07.2013)