Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Kuncak, Viktor,
1
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)
Cham, Switzerland : Springer, 2017

Rating:

 
 
2
E-book
2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.


CAV (Conference) (29th : 2017 : Heidelberg, Germany)
Cham : Springer, 2017

Rating:

 
 
3
E-book
2012

Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings


VMCAI 2012 (2012 : Philadelphia, Pa.)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results