Specialization of derivations in Hoare-like logic with recursive procedures.

Aida Pliuskeviciene Specialization of derivations in Hoare-like logic with recursive procedures. 124-130 1994 conf/seke/1994 SEKE db/conf/seke/seke1994.html#Pliuskeviciene94