dm Darvas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2010
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | FASE | Proving Consistency and Completeness of Model Classes Using Theory Interpretation. | dm Darvas, Peter Mller |
| 2008 | CADE | Efficient Well-Definedness Checking. | dm Darvas, Farhad Mehta, Arsenii Rudich |
| 2008 | FM | Checking Well-Formedness of Pure-Method Specifications. | Arsenii Rudich, dm Darvas, Peter Mller |
| 2007 | FASE | Practical Reasoning About Invocations and Implementations of Pure Methods. | dm Darvas, K. Rustan M. Leino |