Browsing Conference Papers & Presentations (Computer Science) by Subject "Abstract Interpretation"
- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Conference Papers & Presentations (Computer Science)
- →
- Browsing Conference Papers & Presentations (Computer Science) by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Conference Papers & Presentations (Computer Science) by Subject "Abstract Interpretation"
Now showing items 1-1 of 1
-
(Springer-Verlag, 2003)Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.
Now showing items 1-1 of 1