My PhD thesis.

Actualizado hace 1 mes

Actualizado hace 1 mes

Actualizado hace 3 meses

Actualizado hace 4 meses

Actualizado hace 7 meses

Actualizado hace 8 meses

Actualizado hace 9 meses

Actualizado hace 10 meses

A framework for executable UC specifications.

Actualizado hace 1 año

Actualizado hace 1 año

Actualizado hace 1 año

Actualizado hace 1 año

ramen is a status bar feeder.

Actualizado hace 1 año

Actualizado hace 1 año

Actualizado hace 2 años

Actualizado hace 2 años

Actualizado hace 2 años

Actualizado hace 2 años

Actualizado hace 2 años

Actualizado hace 2 años