Formal verification as a technology transfer problem.

Robert P. Kurshan

Browse the full MEMOCODE paper archive.