1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Niklas Heidler
Formal programming language semantics are imperative when trying to verify properties of programs in an automated manner. Using a new approach, Din et al. strengthen the ability of…