Ladataan...
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit
Profiilit
Oma profiili
Oma kirjasto
Tiedot
Ilmoitukset
Asetukset
Kirjaudu sisään
Kirjaudu sisään
Profiilit
Oma profiili
Oma kirjasto
Casper Bach
IMADA, SDU, Denmark
Vahvistettu sähköpostiosoite verkkotunnuksessa imada.sdu.dk
Viittausten määrä 420
Programming Languages
Type Systems
Semantics
Safe-by-Construction Programming
Modularity
Tietosuoja
Käyttöehdot
Ohje
Tietoa Scholarista
Haun ohjeet