| |
| 2009 | ||
|---|---|---|
| 3 | EE | K. Rustan M. Leino, Rosemary Monahan: Reasoning about comprehensions with first-order SMT solvers. SAC 2009: 615-622 |
| 2005 | ||
| 2 | EE | Gareth Carter, Rosemary Monahan, Joseph M. Morris: Software Refinement with Perfect Developer. SEFM 2005: 363-373 |
| 1997 | ||
| 1 | Rosemary Monahan, Franz Geiselbrechtinger: Tactics for Transformational Programming. IWFM 1997 | |
| 1 | Gareth Carter | [2] |
| 2 | Franz Geiselbrechtinger | [1] |
| 3 | K. Rustan M. Leino | [3] |
| 4 | Joseph M. Morris | [2] |