%0 Conference Paper %1 conf/ershov/Sabelfeld93 %A Sabelfeld, Viktor K. %B Formal Methods in Programming and Their Applications %D 1993 %E Bjørner, Dines %E Broy, Manfred %E Pottosin, Igor V. %I Springer %K dblp %P 181-189 %T Analysis of Some Semantic Properties for Programs of the Applicative Language AL. %U http://dblp.uni-trier.de/db/conf/ershov/ershov1993.html#Sabelfeld93 %V 735 %@ 3-540-57316-X

@inproceedings{conf/ershov/Sabelfeld93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Sabelfeld, Viktor K.}, biburl = {https://www.bibsonomy.org/bibtex/23a1d8ca549aef5603923052add482d7c/dblp}, booktitle = {Formal Methods in Programming and Their Applications}, crossref = {conf/ershov/1993}, editor = {Bjørner, Dines and Broy, Manfred and Pottosin, Igor V.}, ee = {https://doi.org/10.1007/BFb0039708}, interhash = {2983aba2d0104c56b071a218a297bf2d}, intrahash = {3a1d8ca549aef5603923052add482d7c}, isbn = {3-540-57316-X}, keywords = {dblp}, pages = {181-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:03:51.000+0200}, title = {Analysis of Some Semantic Properties for Programs of the Applicative Language AL.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov1993.html#Sabelfeld93}, volume = 735, year = 1993 }