Ivan Christoff added 6 papers 2011-10-03 11:19:13 -0700
Ivan Christoff added 2 papers 2011-10-03 11:16:42 -0700
Ivan Christoff followed the research interests: Formal Methods (Formal Verification) and Concurrency Theory 2011-03-08 15:02:42 -0800
Uppsala University
Faculty Member, Department of Information Technology
Need an account? Click here to sign up
Enter the email address you signed up with, and we'll send a reset password email to that address