Publications Details

Publications / Conference Paper

Q: A Sound Verification Framework for Statecharts and their Implementations

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

Abstract not provided.