| |
| 2005 | ||
|---|---|---|
| 4 | EE | Marieke Huisman, Kerry Trentelman: Factorising Temporal Specifications. CATS 2005: 87-96 |
| 3 | EE | Bernhard Beckert, Kerry Trentelman: Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168 |
| 2 | EE | Kerry Trentelman: Proving Correctness of JavaCard DL Taclets using Bali. SEFM 2005: 160-169 |
| 2002 | ||
| 1 | EE | Kerry Trentelman, Marieke Huisman: Extending JML Specifications with Temporal Logic. AMAST 2002: 334-348 |
| 1 | Bernhard Beckert | [3] |
| 2 | Marieke Huisman | [1] [4] |