DOE OSTI · 1457972
Compiling Statecharts into Why3.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Armstrong, Robert C., Aytac, Jon M, Hulette, Geoffrey Compton, Mayo, Jackson, Morris, Karla Vanessa. 2017-05-01. Compiling Statecharts into Why3.. https://www.osti.gov/biblio/1457972
Cite the original work for its findings. Save a collection to share your selection of sources.