Victor Carreño
发表
Victor Carreño,
César Muñoz,
C. Muñoz,
2005
.
Victor Carreño,
César Muñoz,
Daniel M. Williams,
2005
.
Victor Carreño,
Daniel M. Williams,
Maria C. Consiglio,
2008
.
Gilles Dowek,
Victor Carreño,
Radu I. Siminiceanu,
2019
.
Victor Carreño,
Gilles Dowek,
César A. Muñoz,
2001,
International Journal on Software Tools for Technology Transfer.
Victor Carreño,
Gilles Dowek,
Cesar Munoz,
2013
.
Victor Carreño,
Gerald Lüttgen,
Gerald Lüttgen,
1999,
SPIN.
Victor Carreño,
Gilles Dowek,
César A. Muñoz,
2006,
RODIN Book.
Victor Carreño,
César A. Muñoz,
2000,
TPHOLs.
Victor Carreño,
César Muñoz,
Gilles Dowek,
2013
.
Victor Carreño,
1993,
HUG.
Victor Carreño,
César Muñoz,
2007
.
Victor Carreño,
Gilles Dowek,
César A. Muñoz,
2001,
CHARME.
Sofiène Tahar,
Victor Carreño,
César Muñoz,
2002
.
Victor Carreño,
Resve Saleh,
Gwan Choi,
1991
.
Victor Carreño,
Ravishankar K. Iyer,
Gwan Choi,
1990
.