- UPSpace Home
- →
- Engineering, Built Environment and Information Technology
- →
- Computer Science
- →
- Browsing Computer Science by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing Computer Science by Subject "Abstract Partial Deduction"
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