Aliaksei Tsitovich
发表
Roberto Bruttomesso,
Natasha Sharygina,
Simone Rollini,
2010,
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAVCBS '09.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2013,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Roberto Bruttomesso,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
TACAS.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAVCBS.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2010,
WING@ETAPS/IJCAR.
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2011,
TACAS.
Daniel Kroening,
Natasha Sharygina,
Stefano Tonetta,
2008,
ATVA.
Roberto Bruttomesso,
Natasha Sharygina,
Simone Rollini,
2014,
Formal Methods Syst. Des..
Daniel Kroening,
Natasha Sharygina,
Aliaksei Tsitovich,
2010,
CAV.
Aliaksei Tsitovich,
2008,
ICLP.
Natasha Sharygina,
Stefano Tonetta,
Aliaksei Tsitovich,
2009,
SAC '09.
Roberto Bruttomesso,
Natasha Sharygina,
Aliaksei Tsitovich,
2009
.