Program Correctness and Matricial Iteration Theories.

Stephen L. Bloom, Zoltn sik

Browse the full MFPS paper archive.