Biblioteca da Universidade do Minho

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

GamaBoogie [Documento eletrónico] : a contract-based slicer for Boogie programs / Márcio João Carvalho Coelho; orient. Pedro Henriques Rangel, Daniela Carneiro da Cruz

Main Author Coelho, Márcio Secondary Author Henriques, Pedro Rangel
Cruz, Daniela da Corporate Author (Secondary) Universidade do Minho. Departamento de Informática Country Portugal. Publication Braga : [s.n.], 2011 Dissertation Note or Thesis: CDU 681.3.06 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 eletrónico

Dissertação mestrado Engenharia de Informática Departamento de Informática da Universidade do Minho 2011

There are no comments for this item.

Log in to your account to post a comment.