Login / Signup

An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs.

Edgar Knapp
Published in: ACM Trans. Program. Lang. Syst. (1990)
Keyphrases