%0 Journal Article %1 journals/software/DauphinFR93 %A Dauphin, Michel %A Fonade, Georges %A Reed, Rick %D 1993 %J IEEE Software %K dblp %N 6 %P 55-57 %T Specs: Making Formal Techniques Usable. %U http://dblp.uni-trier.de/db/journals/software/software10.html#DauphinFR93 %V 10

@article{journals/software/DauphinFR93, added-at = {2016-01-12T00:00:00.000+0100}, author = {Dauphin, Michel and Fonade, Georges and Reed, Rick}, biburl = {https://www.bibsonomy.org/bibtex/25f81836be88f93257f3ac62e549174ba/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/52.241969}, interhash = {937640165111f68432834c870aad2121}, intrahash = {5f81836be88f93257f3ac62e549174ba}, journal = {IEEE Software}, keywords = {dblp}, number = 6, pages = {55-57}, timestamp = {2016-01-13T11:40:06.000+0100}, title = {Specs: Making Formal Techniques Usable.}, url = {http://dblp.uni-trier.de/db/journals/software/software10.html#DauphinFR93}, volume = 10, year = 1993 }