"Using Correctness-by-Construction to Derive Dead-zone Algorithms."

Bruce W. Watson, Loek G. Cleophas, Derrick G. Kourie (2014)

Details and statistics

DOI:

access: open

type: Conference or Workshop Paper

metadata version: 2021-02-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics