Stirling, Colin

Stirling, Colin
All Links

Share this:

Details of Stirling, Colin

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.
N