Machine-Checked Compositional Specification and Proofs for Embedded Systems.

Karl Palmskog, Mattias Nyberg, Dilian Gurov

Browse the full TASE paper archive.