[comp.theory] Who is doing program correctness/proofs?

jenlan@eos (Jennifer S Lanham) (07/21/90)

 E-mail would be great, and I will summarize here if there is sufficient
 interest. Thank you!
 Jennifer
 jenlan@eos.arc.nasa.gov