• Log in
btn btn
Zvonimir Rakamaric
Postdoctoral Fellow at Carnegie Mellon University
  • About
  • Blog
  • Publications
    • Journals
    • Conferences
    • Workshops
    • Other
  • Activities
    • Guidebook
  • Projects
  • Conferences
    • 2012
    • 2011
    • 2010
    • 2009
    • 2008
    • 2007
    • 2006
  •  

Conferences

Conferences and Workshops:
Formal Verification, Software Verification, and Software Analysis

2012, 2011, 2010, 2009, 2008, 2007, 2006

Comments are closed.

  • Contact

  • Follow Me

    Google Plus   LinkedIn   RSS Feed

  • News

    • Asynchronously Communicating Visibly Pushdown Systems
    • Wrapped up my PhD and joined Carnegie Mellon in Silicon Valley
    • Modular Verification of Shared-Memory Concurrent System Software
    • Delay-Bounded Scheduling
    • A Tutorial for Running Boogie and Z3 on Linux

  • Categories

    • Blog
    • Publications
      • Conference Publications
      • Journal Publications
      • Other Publications
      • Workshop Publications
 
Copyright © 2011-12 by Zvonimir Rakamaric. All rights reserved.
Powered by WordPress ¬ dfBlog Theme (1.1.5) design by danielfajardo webGoTo top