3 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
Andrew M. Mironov
In the paper the problem of verification of functional programs (FPs) over strings is considered, where specifications of properties of FPs are defined by other FPs, and a FP S1 me…