Hans Langmaack. Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage. Informatik Spektrum, 33(6):634-646, 2010. [doi]
@article{Langmaack10b, title = {Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage}, author = {Hans Langmaack}, year = {2010}, doi = {10.1007/s00287-010-0466-y}, url = {http://dx.doi.org/10.1007/s00287-010-0466-y}, researchr = {https://researchr.org/publication/Langmaack10b}, cites = {0}, citedby = {0}, journal = {Informatik Spektrum}, volume = {33}, number = {6}, pages = {634-646}, }