Antonio J. Fernández-Leiva
University of Málaga
Dirección de correo verificada de lcc.uma.es
Citado por 21652
ROLF LAKAEMPER
Associate Professor of Computer Science, Temple University
Dirección de correo verificada de temple.edu
Citado por 3091
Ian Parberry
Professor of Computer Science & Engineering, University of North Texas
Dirección de correo verificada de unt.edu
Citado por 2878
Tomoyuki Kaneko
The University of Tokyo
Dirección de correo verificada de graco.cu-tokyo.ac.jp
Citado por 701
Daisaku Yokoyama
Research Associate, Institute of Industrial Science, The University of Tokyo
Dirección de correo verificada de tkl.iis.u-tokyo.ac.jp
Citado por 405
Tetsuro TANAKA
Associate Professor of Information Technology Center, The University of Tokyo
Dirección de correo verificada de ecc.u-tokyo.ac.jp
Citado por 232
Ivan Perez
NASA/NIA Formal Methods Group, Keera Studios, University of Nottingham
Dirección de correo verificada de nasa.gov
Citado por 137