Verification Series

Journal Club: Bounded Model Checking

27th September 2018, 14:00 add to calender
Louise Dennis

Abstract

Biere et al. Bounded Model Checking, Vol. 58 of Advances in Computers, 2003.
add to calender (including abstract)