Certification of microprograms by an algebraic method.

Andrzej Blikle, Stanislaw Budkowski

Browse the full MICRO paper archive.