Matteo Zanioli

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

2 Matteo Zanioli, Agostino Cortesi: Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557

1 Agostino Cortesi, Matteo Zanioli: Widening and narrowing operators for abstract interpretation. Computer Languages, Systems & Structures 37(1): 24-42 (2011)

	2011
2		Matteo Zanioli, Agostino Cortesi: Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557
1		Agostino Cortesi, Matteo Zanioli: Widening and narrowing operators for abstract interpretation. Computer Languages, Systems & Structures 37(1): 24-42 (2011)

Coauthor Index

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page