21 citations · 29 across the 8 of their papers we have counts for
1 paper · 1 filter
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.