Clara DaSilva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1992–1992
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | FORTE | Formal specification in the development of industrial applications: Subway speed control system. | Clara DaSilva, Babak Dehbonei, Fernando Mejia |
| 1992 | ISSRE | Error-free software development for critical systems using the B-Methodology. | Michel Carnot, Clara DaSilva, Babak Dehbonei, Fernando Mejia |