Login / Signup

Sharpening the characterization of the power of Floyd method.

Hajnal Andréka
Published in: Logic of Programs (1980)
Keyphrases