Compilation of synchronous observers as code contracts.

Arnaud Dieumegard, Pierre-Loc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux

Browse the full SAC paper archive.