Clara DaSilva

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia
Error-free software development for critical systems using the B-Methodology. ISSRE (1992)
Clara DaSilva, Babak Dehbonei, Fernando Mejia
Formal specification in the development of industrial applications: Subway speed control system. FORTE (1992)