%0 Journal Article %1 journals/acta/LamsweerdeS79 %A van Lamsweerde, Axel %A Sintzoff, Michel %D 1979 %J Acta Inf. %K dblp %P 1-31 %T Formal Derivation of Strongly Correct Concurrent Programs. %U http://dblp.uni-trier.de/db/journals/acta/acta12.html#LamsweerdeS79 %V 12

@article{journals/acta/LamsweerdeS79, added-at = {2011-01-11T00:00:00.000+0100}, author = {van Lamsweerde, Axel and Sintzoff, Michel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2604f190266cf096cf8beb5854fd2b972/dblp}, ee = {http://dx.doi.org/10.1007/BF00264015}, interhash = {cf54ea464d921b727145e1624a0cf320}, intrahash = {604f190266cf096cf8beb5854fd2b972}, journal = {Acta Inf.}, keywords = {dblp}, pages = {1-31}, timestamp = {2016-02-02T00:43:04.000+0100}, title = {Formal Derivation of Strongly Correct Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta12.html#LamsweerdeS79}, volume = 12, year = 1979 }