Carlos Gonzala
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2007–2008
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | FM | Proofs and Refutations for Probabilistic Refinement. | A. K. McIver, Carroll C. Morgan, Carlos Gonzala |
| 2007 | ICFEM | Automating Refinement Checking in Probabilistic System Design. | Carlos Gonzala, Annabelle McIver |