Dependency graphs with applications to verification

Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba*

*Kontaktforfatter

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Dependency graphs with applications to verification'. Sammen danner de et unikt fingeraftryk.

Computer Science