Publication

Advanced CBMC techniques