My PhD thesis.

Aggiornato 2 mesi fa

Aggiornato 2 mesi fa

Aggiornato 4 mesi fa

Aggiornato 6 mesi fa

Aggiornato 8 mesi fa

Aggiornato 9 mesi fa

Aggiornato 10 mesi fa

Aggiornato 11 mesi fa

A framework for executable UC specifications.

Aggiornato 1 anno fa

Aggiornato 1 anno fa

Aggiornato 1 anno fa

Aggiornato 1 anno fa

ramen is a status bar feeder.

Aggiornato 1 anno fa

Aggiornato 1 anno fa

Aggiornato 2 anni fa

Aggiornato 2 anni fa

Aggiornato 2 anni fa

Aggiornato 2 anni fa

Aggiornato 2 anni fa

Aggiornato 2 anni fa