%0 Journal Article %1 journals/eik/Grabowski89 %A Grabowski, Michal %D 1989 %J Elektronische Informationsverarbeitung und Kybernetik %K dblp %N 11/12 %P 619-624 %T Open Problems Related to Axiomatic Descriptions of Programs. %U http://dblp.uni-trier.de/db/journals/eik/eik25.html#Grabowski89 %V 25

@article{journals/eik/Grabowski89, added-at = {2003-07-07T00:00:00.000+0200}, author = {Grabowski, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2b2a61c512df4f25050f7a1160f22db61/dblp}, date = {2003-07-07}, description = {dblp}, interhash = {6540b3201fe56c5473548bac77b9e235}, intrahash = {b2a61c512df4f25050f7a1160f22db61}, journal = {Elektronische Informationsverarbeitung und Kybernetik}, keywords = {dblp}, number = {11/12}, pages = {619-624}, timestamp = {2003-07-07T00:00:00.000+0200}, title = {Open Problems Related to Axiomatic Descriptions of Programs.}, url = {http://dblp.uni-trier.de/db/journals/eik/eik25.html#Grabowski89}, volume = 25, year = 1989 }