%0 Conference Paper %1 abrial_06_formal %A Abrial, Jean R. %B ICSE '06: Proceeding of the 28th international conference on Software engineering %C New York, NY, USA %D 2006 %I ACM Press %K 2006 formal b %P 761--768 %R 10.1145/1134285.1134406 %T Formal methods in industry: achievements, problems, future %U http://dx.doi.org/10.1145/1134285.1134406 %@ 1595933751

@inproceedings{abrial_06_formal, added-at = {2009-02-11T20:54:55.000+0100}, address = {New York, NY, USA}, author = {Abrial, Jean R.}, biburl = {https://www.bibsonomy.org/bibtex/252fe9c57b55bda74a65358e89cbdd2a7/leonardo}, booktitle = {ICSE '06: Proceeding of the 28th international conference on Software engineering}, citeulike-article-id = {899689}, doi = {10.1145/1134285.1134406}, interhash = {9eea60b7269eba87e6b6691cfbd53fe3}, intrahash = {52fe9c57b55bda74a65358e89cbdd2a7}, isbn = {1595933751}, keywords = {2006 formal b}, pages = {761--768}, posted-at = {2006-10-16 19:11:34}, priority = {3}, publisher = {ACM Press}, timestamp = {2009-02-11T20:54:55.000+0100}, title = {Formal methods in industry: achievements, problems, future}, url = {http://dx.doi.org/10.1145/1134285.1134406}, year = 2006 }