differential-formula

Incremental Formal Modeling Using Logic Programming and Analysis