%0 Journal Article %1 CharlierF98 %A Charlier, Baudouin Le %A Flener, Pierre %C New York, NY, USA %D 1998 %I Elsevier Science Inc. %J Journal of Systems and Software %K article ase comparison formal_methods position_paper program_synthesis software_engineering %N 3 %P 275--296 %T Specifications are necessarily informal or: some more myths of formal methods %U http://dx.doi.org/10.1016/S0164-1212(98)00172-1 %V 40

@article{CharlierF98, added-at = {2008-04-18T17:43:10.000+0200}, address = {New York, NY, USA}, author = {Charlier, Baudouin Le and Flener, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/23b2692cabf77126f737e3cf4dfd1c58f/emanuel}, interhash = {f64ab2fa90c4c2f7d4e82e622c417a87}, intrahash = {3b2692cabf77126f737e3cf4dfd1c58f}, journal = {Journal of Systems and Software}, keywords = {article ase comparison formal_methods position_paper program_synthesis software_engineering}, number = 3, pages = {275--296}, publisher = {Elsevier Science Inc.}, timestamp = {2008-04-18T17:43:10.000+0200}, title = {Specifications are necessarily informal or: some more myths of formal methods}, url = {http://dx.doi.org/10.1016/S0164-1212(98)00172-1}, volume = 40, year = 1998 }