Static analysis
: 6th international symposium ; proceedings / SAS '99, Venice, Italy, September 1999. A. Cortesi ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1694)
ISBN 978-3-540-48294-9
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: third international workshop ; revised papers / VMCAI 2002, Venice, Italy, January 21 - 22, 2002. A. Cortesi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2294)
ISBN 978-3-540-47813-3
Lizenzpflichtig
Quelle: DNB