Cataño Collazos, NéstorAhmed, Ijaz2017-03-092017-03-092012http://hdl.handle.net/10400.13/1453engInformáticaEngenharia informáticaProgramme in Informatics Engineering.Faculdade de Ciências Exatas e da EngenhariaOn the formal verification of specifications based on typestates with access permissionsdoctoral thesis101340737