| 2005 | ||
|---|---|---|
| 1 | EE | Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella: PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR abs/cs/0512056: (2005) |
| 1 | Roberto Bagnara | [1] |
| 2 | Andrea Pescetti | [1] |
| 3 | Enea Zaffanella | [1] |