Ranko Lazic
|
||
CONTACT
|
RESEARCH PROFILElogic, automata and games; verification of software; concurrent systems |
RESEARCH GROUPS |
SELECTED PUBLICATIONS
|
|
|
| Update My Profile on the Warwick eRA Portal | My Profile last updated: 13/01/2012 |
Research page
Google Scholar
MS Academic
DBLP
Office hours, Summer term 2012: Wednesdays 10am-12noon (except 9th May)
CS242 Formal Specification and Verification
CS321 Current Uses of Computers in Business and Industry
