Victor Carreño

发表

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, Gilles Dowek, César A. Muñoz, 2001, CHARME.

Victor Carreño, Resve Saleh, Gwan Choi, 1991 .