Vol-2907⫷ Vol-2908 ⫸Vol-2909
urn:nbn:de:0074-2908-0


Vol-2908/invited1⫷Vol-2908/invited2⫸Vol-2908/short12
Karem A. Sakallah

Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State