Document Actions

HCIspecs

A repository of HCI formal models.

Please use the menu to the right to access the models.

This version of the repository is deprecated. Models are being moved to: hcispecs.di.uminho.pt.