Publications Details

Publications / Conference Paper

Q: A Sound Verification Framework for Statecharts and their Implementations

Pollard, Samuel D.; Armstrong, Robert C.; Bender, John; Hulette, Geoffrey C.; Mahmood, Raheel; Foulk, James W.; Rawlings, Blake C.; Aytac, Jon M.

Abstract not provided.