Conference
Tool-Based Verification of a Relational Vertex Coloring Program.
Authors
Berghammer R; Höfner P; Stucke I
Editors
Kahl W; Winter M; Oliveira JN
Series
Lecture Notes in Computer Science
Volume
9348
Pagination
pp. 275-292
Publisher
Springer
Publication Date
2015
ISBN-13
978-3-319-24703-8
Conference proceedings
RAMiCS