Showing results 1 to 1 of 1
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation Park, Sewon; Brauße, Franz; Collins, Pieter; Kim, SunYoung; Konečný, Michal; Lee, Gyesik; Müller, Norbert; et al, Logical Methods in Computer Science, v.20, no.2, 2024-06 |
Discover