author : Fernando Mejia

Short works

• Formal Development of Safety-Critical Software Systems in Railway Signaling. 1995. (In Applications of Formal Methods )