Mirko Zanotti

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002

1 EE Mirko Zanotti: Security Typings by Abstract Interpretation. SAS 2002: 360-375