Browsing by Subject B formal method
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2012 | Desenvolvimento formal de aplicações para smartcards | Gomes, Bruno Emerson Gurgel |
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2012 | Desenvolvimento formal de aplicações para smartcards | Gomes, Bruno Emerson Gurgel |