Conference
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.
Authors
Macedo N; Pacheco H; Cunha A
Editors
Kahl W; Griffin TG
Series
Lecture Notes in Computer Science
Volume
7560
Pagination
pp. 146-161
Publisher
Springer
Publication Date
2012
ISBN-13
978-3-642-33313-2
Conference proceedings
RAMiCS