%0 Conference Paper %1 conf/forte/DukeRS90 %A Duke, Roger %A Rose, Gordon A. %A Smith, Graeme %B FORTE %D 1990 %E Quemada, Juan %E Mañas, José A. %E Vázquez, Enrique %I North-Holland %K dblp %P 279-286 %T Transferring Formal Techniques to Industry. %U http://dblp.uni-trier.de/db/conf/forte/forte1990.html#DukeRS90 %@ 0-444-89024-6

@inproceedings{conf/forte/DukeRS90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Duke, Roger and Rose, Gordon A. and Smith, Graeme}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24b2e293b4151214b577a0c565c6b5a02/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1990}, editor = {Quemada, Juan and Mañas, José A. and Vázquez, Enrique}, interhash = {9d234358ef6c730bf1b1b7804fd8dc6a}, intrahash = {4b2e293b4151214b577a0c565c6b5a02}, isbn = {0-444-89024-6}, keywords = {dblp}, pages = {279-286}, publisher = {North-Holland}, timestamp = {2016-02-02T11:02:39.000+0100}, title = {Transferring Formal Techniques to Industry.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1990.html#DukeRS90}, year = 1990 }