%0 Conference Paper %1 conf/ifip2/Owicki77 %A Owicki, Susan S. %B Formal Description of Programming Concepts %D 1977 %E Neuhold, Erich J. %I North-Holland %K dblp %P 279-300 %T Verifying Concurrent Programs With Shared Data Classes. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1977.html#Owicki77 %@ 0-444-85107-0

@inproceedings{conf/ifip2/Owicki77, added-at = {2019-01-21T00:00:00.000+0100}, author = {Owicki, Susan S.}, biburl = {https://www.bibsonomy.org/bibtex/2069fa73430824171e8c4cb4965422157/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1977}, editor = {Neuhold, Erich J.}, interhash = {86fce51762afda2238f6bbdc08e3f1f4}, intrahash = {069fa73430824171e8c4cb4965422157}, isbn = {0-444-85107-0}, keywords = {dblp}, pages = {279-300}, publisher = {North-Holland}, timestamp = {2019-01-22T11:39:03.000+0100}, title = {Verifying Concurrent Programs With Shared Data Classes.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1977.html#Owicki77}, year = 1977 }