Eduardo Rafael López Ruiz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

1 EE Eduardo Rafael López Ruiz: Methodology for Evaluating Aeronautical Regulations using Formal Specifications. HASE 2007: 415-416