Stirling, Colin
dcs.ed.ac.ukUniversity of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.