Proving Correctness of Plans Considered as Procedural Programs.

Manny Rayner, sa Hugosson, Annika Wrn

Browse the full AIMSA paper archive.