Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming

Sorry, there's nothing here.

Statistics

01020'91'94'97'00'03'06'09'12'15
Citations per Year

105 Citations

Semantic Scholar estimates that this publication has 105 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Bauer1989FormalPC, title={Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming}, author={Friedrich L. Bauer and Bernhard M{\"{o}ller and Helmuth Partsch and Peter Pepper}, journal={IEEE Trans. Software Eng.}, year={1989}, volume={15}, pages={165-180} }