%0 Journal Article %1 journals/scp/GerthR84 %A Gerth, Rob %A de Roever, Willem P. %D 1984 %J Sci. Comput. Program. %K dblp %N 2 %P 159-204 %T A Proof System for Concurrent ADA Programs. %U http://dblp.uni-trier.de/db/journals/scp/scp4.html#GerthR84 %V 4

@article{journals/scp/GerthR84, added-at = {2021-02-17T00:00:00.000+0100}, author = {Gerth, Rob and de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/2d31bcd5fbf8bd4e1b1f1143a52eba9ee/dblp}, ee = {https://doi.org/10.1016/0167-6423(84)90018-2}, interhash = {e44bdcf6ab8a370d1fe4f4c9ed91a576}, intrahash = {d31bcd5fbf8bd4e1b1f1143a52eba9ee}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 2, pages = {159-204}, timestamp = {2024-04-09T05:27:17.000+0200}, title = {A Proof System for Concurrent ADA Programs.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp4.html#GerthR84}, volume = 4, year = 1984 }