Special Section on "Tools and Algorithms for the Construction and Analysis of Systems"

Kurt Jensen (Redaktør), Andreas Podelski (Redaktør)

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisLeder

    2 Citationer (Scopus)

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Special Section on "Tools and Algorithms for the Construction and Analysis of Systems"'. Sammen danner de et unikt fingeraftryk.

    Engineering

    Computer Science