Login / Signup

The Clean Termination of Iterative Programs.

Andrzej Blikle
Published in: Acta Informatica (1981)
Keyphrases