Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
External Research Collection
Sciences
Science (General)
Xjenza
Xjenza, 2014, Volume 2, Issue 2
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-3 of 3 (Search time: 0.006 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2014
Monitoring distributed systems with distributed polyLarva
Cassar, Ian
;
Francalanza, Adrian
;
Colombo, Christian
2014
Uniqueness typing for a higher-order language
Francalanza, Adrian
;
Zammit, Melanie
2014
Formal proofs for broadcast algorithms
Zammit, Mandy
;
Francalanza, Adrian
Discover
Author
1
Cassar, Ian
1
Colombo, Christian
1
Zammit, Mandy
1
Zammit, Melanie
Subject
1
Computer software -- Verification
1
Distributed algorithms
1
Language acquisition