Conference
Relational Mathematics for Relative Correctness.
Authors
Desharnais J; Diallo N; Ghardallou W; Frias MF; Jaoua A; Mili A
Editors
Kahl W; Winter M; Oliveira JN
Series
Lecture Notes in Computer Science
Volume
9348
Pagination
pp. 191-208
Publisher
Springer
Publication Date
January 1, 2015
ISBN-13
978-3-319-24703-8
Conference proceedings
RAMiCS