dblp.uni-trier.dewww.uni-trier.de

Andrea Pescetti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EERoberto 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
1EERoberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella: PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR abs/cs/0512056: (2005)

Coauthor Index

1Roberto Bagnara [1] [2]
2Patricia M. Hill [2]
3Alessandro Zaccagnini [1]
4Enea Zaffanella [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)