2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Andrei Arusoaie
We present the first formal semantics of Findel - a DSL for specifying financial derivatives. The semantics is encoded in Coq, and we use it to prove properties of several Findel c…