Daniel Grumberg
发表
Cristian Cadar,
Luís Pina,
A. Andronidis,
2022,
Int. J. Softw. Tools Technol. Transf..
Cristian Cadar,
Luís Pina,
Anastasios Andronidis,
2017,
USENIX Annual Technical Conference.