Anna Ingólfsdóttir

Una panoramica dei calcoli dei processi nominali e la loro importanza nell'informatica.

Uno sguardo ai metodi di testing basati su modelli per la verifica dei sistemi.

Questo articolo parla del ruolo del nondeterminismo limitato nella gestione del comportamento dei programmi.