Relations as executable specifications: taming partiality and non-determinism using invariants
Relations as executable specifications: taming partiality and non-determinism using invariants
| dc.contributor.author | Alcino Cunha | en |
| dc.contributor.author | Nuno Moreira Macedo | en |
| dc.contributor.author | Hugo Pereira Pacheco | en |
| dc.date.accessioned | 2017-11-17T12:02:50Z | |
| dc.date.available | 2017-11-17T12:02:50Z | |
| dc.date.issued | 2012 | en |
| dc.description.abstract | en | |
| dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/3377 | |
| dc.language | eng | en |
| dc.relation | 5647 | en |
| dc.relation | 5612 | en |
| dc.relation | 5625 | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.title | Relations as executable specifications: taming partiality and non-determinism using invariants | en |
| dc.type | conferenceObject | en |
| dc.type | Publication | en |