Infoscience

Book Chapter

Advanced CBMC techniques

Related material