Skip to content

Modular Approach to the Logical Theory of Programs.

Lech Banachowski

VenueBMFCS
Year1974
ProceedingsMFCS

Browse the full MFCS paper archive.