%0 Journal Article %1 journals/jcss/Ashcroft75 %A Ashcroft, Edward A. %D 1975 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 110-135 %T Proving Assertions about Parallel Programs. %U http://dblp.uni-trier.de/db/journals/jcss/jcss10.html#Ashcroft75 %V 10

@article{journals/jcss/Ashcroft75, added-at = {2021-02-16T00:00:00.000+0100}, author = {Ashcroft, Edward A.}, biburl = {https://www.bibsonomy.org/bibtex/2c4a4330a0326988941ea807c3d679453/dblp}, ee = {https://doi.org/10.1016/S0022-0000(75)80018-3}, interhash = {50dca9136cae6e59cef405310aea57dd}, intrahash = {c4a4330a0326988941ea807c3d679453}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {110-135}, timestamp = {2024-04-08T19:15:40.000+0200}, title = {Proving Assertions about Parallel Programs.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss10.html#Ashcroft75}, volume = 10, year = 1975 }