WoLFram - a word level framework for formal verification (2009)

by A Sülflow, U Kühne, G Fey, D Große, R Drechsler
Venue:In International Symposium on Rapid System Prototyping (RSP