%0 Journal Article %1 journals/ress/SharmaDR03 %A Sharma, Babita %A Dhodapkar, S. D. %A Ramesh, S. %D 2003 %J Reliab. Eng. Syst. Saf. %K dblp %N 3 %P 281-290 %T Assertion checking environment (ACE) for formal verification of C programs. %U http://dblp.uni-trier.de/db/journals/ress/ress81.html#SharmaDR03 %V 81

@article{journals/ress/SharmaDR03, added-at = {2020-02-25T00:00:00.000+0100}, author = {Sharma, Babita and Dhodapkar, S. D. and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/2baeccfccaafa9c0ab57c901a4b3967e1/dblp}, ee = {https://doi.org/10.1016/S0951-8320(03)00092-9}, interhash = {74b16e4abdef843b8b358cd59185a9a3}, intrahash = {baeccfccaafa9c0ab57c901a4b3967e1}, journal = {Reliab. Eng. Syst. Saf.}, keywords = {dblp}, number = 3, pages = {281-290}, timestamp = {2020-02-26T11:41:05.000+0100}, title = {Assertion checking environment (ACE) for formal verification of C programs.}, url = {http://dblp.uni-trier.de/db/journals/ress/ress81.html#SharmaDR03}, volume = 81, year = 2003 }