Behavioural Types for Reliable Large-Scale Software Systems

  • Hildebrandt, Thomas (CoI)

Projekter: ProjektForskning

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.

Keyphrases

Computer Science