Macquarie University ResearchOnline
List View
Showing items 1 - 3 of 3.
Add to Quick Collection All 3 Results
| Title | Author/Creator | Date | Full Text | Reviewed | |
|---|---|---|---|---|---|
| The Secret art of computer programming | McIver, Annabelle K | 2009 | — | 
|
|
| Sums and lovers : case studies in security, compositionality and refinement | McIver, Annabelle K; Morgan, Carroll C | 2009 | — |
|
|
| Towards automated proof support for probabilistic distributed systems | McIver, Annabelle K; Weber, Tjark | 2005 | — |
|
Author/Creator
- Morgan, Carroll C (1)
- Weber, Tjark (1)
Subject Keyword
Copyright Macquarie University | Privacy Statement | Accessibility Information
ABN 90 952 801 237 | CRICOS Provider No 00002J