J. Perna
发表
J. Perna,
C. George,
2006
.
J. Woodcock,
J. Woodcock,
J. Perna,
2011
.
Luis Guillermo Quintas,
Juan Ignacio Perna,
J. Perna,
2004
.
J. Perna,
S. Quarteroni,
J. Mühlberg,
2007
.
Chris George,
Juan Ignacio Perna,
J. Perna,
2006,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Chris George,
Juan Ignacio Perna,
J. Perna,
2006
.
Augusto Sampaio,
Jim Woodcock,
Juliano Iyoda,
2011,
Acta Informatica.
Juan Ignacio Perna,
J. Perna,
2010
.
Jim Woodcock,
Juan Ignacio Perna,
J. Woodcock,
2007,
ICFEM.
Jim Woodcock,
Juan Ignacio Perna,
J. Woodcock,
2009,
Sci. Comput. Program..
J. Woodcock,
J. Perna,
2008
.
J. Perna,
C. George,
2013
.
Jim Woodcock,
Juan Ignacio Perna,
J. Woodcock,
2008,
UTP.