A Seamless Model and Language Stephen W. Liddle Brigham Young University.
A Seamless Model and Language
Formal Methods - Lecture01.pdf
Modeling Data in Formal Verification Bits , Bit Vectors, or Words
