- Home
- Computer
- Computer Science
- Stirling, Colin
Computer · Computer Science
Stirling, Colin
Listed in the directory · updated 21 Jul 2022
About Stirling, Colin
Stirling, Colin- University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.