Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Verification, slicing, and visualization of programs with contracts [Documento electrónico] / Daniela Carneiro da Cruz; orient. Pedro Rangel Henriques, Jorge Sousa Pinto

Main Author Cruz, Daniela da Secondary Author Henriques, Pedro Rangel
Pinto, Jorge Sousa, 1969- Corporate Author (Secondary) Universidade do Minho. Escola de Engenharia Country Portugal. Publication Braga : [s.n.], 2011 Dissertation Note or Thesis: CDU 681.3.06 519.688 Online resource Acesso livre
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Descrição baseada no documento electrónico

Tese doutoramento Informática (área de especialização em Ciências da Computação) Escola de Engenharia da Universidade do Minho 2011

There are no comments for this item.

Log in to your account to post a comment.