Contract Based Embedded Software Design.

Christian Lidstrm, Dilian Gurov

Browse the full TASE paper archive.