On Formal Specification of Maple Programs.

Muhammad Taimoor Khan, Wolfgang Schreiner

Browse the full AISC paper archive.