Biblioteca da Universidade do Minho

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

A bounded model checker for SPARK programs [Documento eletrónico] / Cláudio Filipe Belo da Silva Lourenço; orient. Jorge Sousa Pinto, Maria João Frade

Main Author Lourenço, Cláudio Filipe Belo da Silva Secondary Author Pinto, Jorge Sousa, 1969-
Frade, M. J. Corporate Author (Secondary) Universidade do Minho. Escola de Engenharia Country Portugal. Publication [Braga : s.n.], 2013 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 Informática Escola de Engenharia da Universidade do Minho 2013

There are no comments for this item.

Log in to your account to post a comment.