Building A Repository of Software Components: A Formal Specifications Approach

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