## Hans Langmaack

*What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?*

COCV, 2005.

@article{COCV-J-2005-Langmaack, author = "Hans Langmaack", doi = "10.1016/j.entcs.2005.05.007", journal = "{Electronic Notes in Theoretical Computer Science}", number = 2, pages = "5--32", title = "{What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?}", volume = 141, year = 2005, }