Certification of Breadth-First Algorithms by Extraction

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-030-33636-3_3 ◽

2019 ◽

pp. 45-75

Author(s):

Dominique Larchey-Wendling ◽

Ralph Matthes

Download Full-text