ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors
Download PDF

Abstract

Start of the section "Session 4: Formal methods" of the proceedings.