Elena Mazzi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18

1 Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR abs/cs/0412043: (2004)

Selection of 2 from 2 records - Elena Mazzi has 3 coauthors

2		Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18
1		Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR abs/cs/0412043: (2004)