Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
![Thumbnail](/bitstream/handle/10183/126667/000060674.pdf.jpg?sequence=3&isAllowed=y)
View/ Open
Date
1993Author
Abstract in Portuguese (Brasil)
Collections
This item is licensed under a Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)