Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
No cover image available
Verification, slicing, and visualization of programs with contracts [Documento electrónico] / Daniela Carneiro da Cruz ; orient. Pedro Rangel Henriques, Jorge Sousa Pinto Monografia Publication Braga : [s.n.], 2011 Online resource Acesso livre Availability No copies available

Add to cart
No cover image available
Programming language complexity analysis and its impact on Checkmarx activities [Documento eletrónico] / Gonçalo Rodrigues Pinto ; orient. Pedro Rangel Henriques, Daniela da Cruz e João Cruz Produtos Computador Publication [Braga : s.n.], 2022 Online resource Acesso livre Availability No copies available

Add to cart