%0 Conference Paper %1 conf/csee/AbernethyKSKP00 %A Abernethy, Ken %A Kelly, John C. %A Sobel, Ann E. Kelley %A Kiper, James D. %A Powell, John D. %B CSEE&T %D 2000 %I IEEE Computer Society %K dblp %P 23-31 %T Technology Transfer Issues for Formal Methods of Software Specification. %U http://dblp.uni-trier.de/db/conf/csee/csee2000.html#AbernethyKSKP00 %@ 0-7695-0421-3

@inproceedings{conf/csee/AbernethyKSKP00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Abernethy, Ken and Kelly, John C. and Sobel, Ann E. Kelley and Kiper, James D. and Powell, John D.}, biburl = {https://www.bibsonomy.org/bibtex/26882e21fb9dfb821b9f0607330e13827/dblp}, booktitle = {CSEE&T}, crossref = {conf/csee/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSEE.2000.827014}, interhash = {e5c23aeea49e1ee80a9b3a6e3ad01cbb}, intrahash = {6882e21fb9dfb821b9f0607330e13827}, isbn = {0-7695-0421-3}, keywords = {dblp}, pages = {23-31}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:01:51.000+0200}, title = {Technology Transfer Issues for Formal Methods of Software Specification.}, url = {http://dblp.uni-trier.de/db/conf/csee/csee2000.html#AbernethyKSKP00}, year = 2000 }