My PhD thesis.

Atualizado 2 meses atrás

Atualizado 2 meses atrás

Atualizado 4 meses atrás

Atualizado 5 meses atrás

Atualizado 8 meses atrás

Atualizado 9 meses atrás

Atualizado 10 meses atrás

Atualizado 11 meses atrás

A framework for executable UC specifications.

Atualizado 1 ano atrás

Atualizado 1 ano atrás

Atualizado 1 ano atrás

Atualizado 1 ano atrás

ramen is a status bar feeder.

Atualizado 1 ano atrás

Atualizado 1 ano atrás

Atualizado 2 anos atrás

Atualizado 2 anos atrás

Atualizado 2 anos atrás

Atualizado 2 anos atrás

Atualizado 2 anos atrás

Atualizado 2 anos atrás