%0 Journal Article %1 journals/sigsoft/NeculaR00 %A Necula, George C. %A Rahul, Shree Prakash %D 2000 %J ACM SIGSOFT Software Engineering Notes %K dblp %N 1 %P 67-68 %T A logic-based approach to software system safety and security. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#NeculaR00 %V 25

@article{journals/sigsoft/NeculaR00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Necula, George C. and Rahul, Shree Prakash}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d415d1bde8cdeb9fe39b297cbbca330d/dblp}, ee = {https://doi.org/10.1145/340855.340983}, interhash = {b89b77b5af805365647b1cb369bb1148}, intrahash = {d415d1bde8cdeb9fe39b297cbbca330d}, journal = {ACM SIGSOFT Software Engineering Notes}, keywords = {dblp}, number = 1, pages = {67-68}, timestamp = {2019-09-27T08:08:47.000+0200}, title = {A logic-based approach to software system safety and security.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#NeculaR00}, volume = 25, year = 2000 }