Liana Hadarean
发表
Daniel Kroening,
Martin Brain,
Liana Hadarean,
2016,
VMCAI.
Ranjit Jhala,
Liana Hadarean,
Byron Cook,
2020,
ESEC/SIGSOFT FSE.
Liana Hadarean,
Alex Horn,
Tim King,
2015,
ArXiv.
Cesare Tinelli,
Liana Hadarean,
Andrew Reynolds,
2015,
LPAR.
Cesare Tinelli,
Liana Hadarean,
Aaron Stump,
2013,
Formal Methods Syst. Des..
Cesare Tinelli,
Guy Katz,
Liana Hadarean,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli,
Kshitij Bansal,
Liana Hadarean,
2014,
CAV.
Cesare Tinelli,
Guy Katz,
Alain Mebsout,
2017
.
Liana Hadarean,
2020,
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
David Cunningham,
Olivier Tardieu,
Vijay Saraswat,
2012,
CP 2012.
Martin Schäf,
Ranjit Jhala,
Willem Visser,
2021,
ESEC/SIGSOFT FSE.
Liana Hadarean,
Liana Hadarean,
2019
.
Liana Hadarean,
2015
.