Systematic verification of embedded components with re-usable properties.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari

Browse the full WINCOM paper archive.