%0 Journal Article %1 journals/software/DasguptaWH86 %A Dasgupta, Subrata %A Wilsey, Philip A. %A Heinänen, Juha %D 1986 %J IEEE Software %K dblp %N 4 %P 49-58 %T Axiomatic Specifications in Firmware Development Systems. %U http://dblp.uni-trier.de/db/journals/software/software3.html#DasguptaWH86 %V 3

@article{journals/software/DasguptaWH86, added-at = {2016-01-12T00:00:00.000+0100}, author = {Dasgupta, Subrata and Wilsey, Philip A. and Heinänen, Juha}, biburl = {https://www.bibsonomy.org/bibtex/2bc0071c65d258bcd2303f99771ee056f/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.1986.234068}, interhash = {d60c065181af91d60c9347f2b4d7ce2a}, intrahash = {bc0071c65d258bcd2303f99771ee056f}, journal = {IEEE Software}, keywords = {dblp}, number = 4, pages = {49-58}, timestamp = {2016-01-13T11:47:40.000+0100}, title = {Axiomatic Specifications in Firmware Development Systems.}, url = {http://dblp.uni-trier.de/db/journals/software/software3.html#DasguptaWH86}, volume = 3, year = 1986 }