DMCA

Symbolic Computation of Differential Equivalences (2016)

by Luca Cardelli , Mirco Tribastone , Max Tschaikowski , Andrea Vandin
Citations:2 - 2 self