Publications Details

Compiling Statecharts into Why3

Armstrong, Robert C.; Aytac, Jon M.; Hulette, Geoffrey C.; Mayo, Jackson R.; Bays, Nathan R.

Abstract not provided.