%0 Journal Article %1 journals/software/Palshikar01 %A Palshikar, Girish Keshav %D 2001 %J IEEE Software %K dblp %N 6 %P 89-97 %T Applying Formal Specifications to Real-World Software Development. %U http://dblp.uni-trier.de/db/journals/software/software18.html#Palshikar01 %V 18

@article{journals/software/Palshikar01, added-at = {2016-01-12T00:00:00.000+0100}, author = {Palshikar, Girish Keshav}, biburl = {https://www.bibsonomy.org/bibtex/273996385cd6b04a8a2196ee90e07eaf2/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/52.965810}, interhash = {b28fae6e0c8218d9d6b736263a36f08b}, intrahash = {73996385cd6b04a8a2196ee90e07eaf2}, journal = {IEEE Software}, keywords = {dblp}, number = 6, pages = {89-97}, timestamp = {2016-01-13T11:42:42.000+0100}, title = {Applying Formal Specifications to Real-World Software Development.}, url = {http://dblp.uni-trier.de/db/journals/software/software18.html#Palshikar01}, volume = 18, year = 2001 }