Flávio L. C. de Moura

@InProceedings{NNMAR10,
  author =       {R.B. Nogueira and A.C.A. Nascimento and F.L.C. de Moura and M. Ayala-Rincón},
  title =        {Formalization of Security Proofs Using PVS in the Dolev-Yao Model},
  booktitle = {Booklet Proc. Computability in Europe - CiE},
  year =         2010}