Home

Boris Konev

Fri, 2011-09-30 03:46 — smal
Personal data
Interests: 
temporal logic, automated reasoning, specification and verification formalisms
Homepage: 
http://www.csc.liv.ac.uk/~konev
Photo: