%0 Journal Article %1 journals/jss/CharlierF98 %A Charlier, Baudouin Le %A Flener, Pierre %D 1998 %J J. Syst. Softw. %K dblp %N 3 %P 275-296 %T Specifications are necessarily informal or: Some more myths of formal methods. %U http://dblp.uni-trier.de/db/journals/jss/jss40.html#CharlierF98 %V 40

@article{journals/jss/CharlierF98, added-at = {2020-02-24T00:00:00.000+0100}, author = {Charlier, Baudouin Le and Flener, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2a01fbb74e0cc2d8a1e238623f44654c1/dblp}, ee = {https://doi.org/10.1016/S0164-1212(98)00172-1}, interhash = {f64ab2fa90c4c2f7d4e82e622c417a87}, intrahash = {a01fbb74e0cc2d8a1e238623f44654c1}, journal = {J. Syst. Softw.}, keywords = {dblp}, number = 3, pages = {275-296}, timestamp = {2020-02-25T13:40:43.000+0100}, title = {Specifications are necessarily informal or: Some more myths of formal methods.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss40.html#CharlierF98}, volume = 40, year = 1998 }