Lech Banachowski

Publication Activity (10 Years)

Years Active: 1974-2010
Publications (10 Years): 0

Publications

Pawel Lenkiewicz, Malgorzata Rzeznik, Lech Banachowski
An Efficient Tool for Online Assessment at the Polish-Japanese Institute of Information Technology. CSEDU (2) (2010)
Lech Banachowski
A Complement to Tarjan's Result about the Lower Bound on the Complexity of the Set Union Problem. Inf. Process. Lett. 11 (2) (1980)
Lech Banachowski
On proving program correctness by means of stepwise refinement method. Logic of Programs (1980)
Lech Banachowski
Modular Approach to the Logical Theory of Programs. MFCS (1974)