Search results for: Daniel Sykes
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 27-52
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 27-52