Procedure Calls and Local Certifiability of Component Correctness

<BODY bgcolor="#ffffff" text="#000000" link="#9944EE" vlink="#0000ff" alink="#00ff00"> <P> Sorry, this requires a browser that supports frames! <BR> Try <A HREF="weide_ct.html">weide_ct.html</A> instead.</P> <HR>