21 citations · 29 across the 8 of their papers we have counts for
1 paper · 2 filters
Assalé Adjé, Jean Goubault-Larrecq
This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data.