| |
| 2008 | ||
|---|---|---|
| 3 | EE | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2006 | ||
| 2 | EE | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing. ISSTA 2006: 133-144 |
| 1 | EE | Emmanuel Geay, Eran Yahav, Stephen J. Fink: Continuous code-quality assurance with SAFE. PEPM 2006: 145-149 |
| 1 | Nurit Dor | [2] [3] |
| 2 | Stephen J. Fink (Stephen Fink) | [1] [2] [3] |
| 3 | G. Ramalingam (Ganesan Ramalingam) | [2] [3] |
| 4 | Eran Yahav | [1] [2] [3] |