Repository logo
 
Thumbnail Image
Publication

On the formal verification of specifications based on typestates with access permissions

2012Doctoral thesis Open access
http://hdl.handle.net/10400.13/1453
Use this identifier to reference this record.

Authors

Ahmed, Ijaz

Advisor(s)

Cataño Collazos, Néstor

Abstract(s)

Description

Keywords

Informática Engenharia informática Programme in Informatics Engineering . Faculdade de Ciências Exatas e da Engenharia

URI

http://hdl.handle.net/10400.13/1453

Citation

Research Projects

Organizational Units

Journal Issue

Publisher

Collections

Teses de Doutoramento

CC License