Tim King
发表
Cesare Tinelli,
Clark W. Barrett,
Tim King,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Tim King,
2014
.
Hugh E. Williams,
George Reese,
Randy Jay Yarger,
2002
.
Andrew Reynolds,
Tim King,
Viktor Kuncak,
2017,
Formal Methods in System Design.
Cristina Serban,
Andrew Reynolds,
Radu Iosif,
2016,
ATVA.
Wei Wang,
Yaohui Chen,
Domagoj Babic,
2019,
ESEC/SIGSOFT FSE.
Thomas Wies,
Kshitij Bansal,
Andrew Reynolds,
2015,
CAV.
Viktor Kuncak,
Andrew Reynolds,
Tim King,
2015,
ArXiv.
Zvonimir Pavlinovic,
Thomas Wies,
Tim King,
2015,
ICFP.
Clark Barrett,
Clark W. Barrett,
Tim King,
2011
.
Zvonimir Pavlinovic,
Thomas Wies,
Tim King,
2014,
Software Engineering & Management.
Don Vines,
Tim King,
Tim King,
1988,
[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments.
David Monniaux,
Michaël Périn,
Alexis Fouilhé,
2016,
VMCAI.