%0 Journal Article %1 journals/scp/ButterfieldFW09 %A Butterfield, Andrew %A Freitas, Leo %A Woodcock, Jim %D 2009 %J Sci. Comput. Program. %K dblp %N 4 %P 219-237 %T Mechanising a formal model of flash memory. %U http://dblp.uni-trier.de/db/journals/scp/scp74.html#ButterfieldFW09 %V 74

@article{journals/scp/ButterfieldFW09, added-at = {2009-06-15T00:00:00.000+0200}, author = {Butterfield, Andrew and Freitas, Leo and Woodcock, Jim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27d50e195451d0899737430eb9b8bebba/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2008.09.014}, interhash = {ba43a97c1a7184dbac5b6ae9269eadee}, intrahash = {7d50e195451d0899737430eb9b8bebba}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 4, pages = {219-237}, timestamp = {2016-02-02T02:39:47.000+0100}, title = {Mechanising a formal model of flash memory.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp74.html#ButterfieldFW09}, volume = 74, year = 2009 }