Program Verification Techniques as a Tool for Reasoning about Action and Change.

Witold Lukaszewicz, Ewa Madalinska-Bugaj

Browse the full KI paper archive.