Browsing by Subject Isabelle
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) |
---|---|---|
2016 | Proving opacity of a pessimistic STM | Doherty, S; Dongol, B; Derrick, J; Schellhorn, G; Wehrheim, H |
Issue Date | Title | Author(s) |
---|---|---|
2016 | Proving opacity of a pessimistic STM | Doherty, S; Dongol, B; Derrick, J; Schellhorn, G; Wehrheim, H |