Relations as executable specifications: taming partiality and non-determinism using invariants

No Thumbnail Available
Date
2012
Authors
Alcino Cunha
Nuno Moreira Macedo
Hugo Pereira Pacheco
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/3377
Collections
HASLab - Indexed Articles in Conferences