![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella: On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR abs/cs/0703116: (2007) |
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] |
2 | Patricia M. Hill | [2] |
3 | Alessandro Zaccagnini | [1] |
4 | Enea Zaffanella | [1] [2] |