%0 Conference Paper %1 conf/fm/BowenS93 %A Bowen, Jonathan P. %A Stavridou, Victoria %B FME %D 1993 %E Woodcock, Jim %E Larsen, Peter Gorm %I Springer %K formal industrial methods myown safety-critical standards systems %P 183-195 %T The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. %U http://dblp.uni-trier.de/db/conf/fm/fme1993.html#BowenS93 %V 670 %@ 3-540-56662-7

@inproceedings{conf/fm/BowenS93, added-at = {2011-08-02T00:42:58.000+0200}, author = {Bowen, Jonathan P. and Stavridou, Victoria}, biburl = {https://www.bibsonomy.org/bibtex/210acd2b526d6c7a83cde55088b1dce1f/jpbowen}, booktitle = {FME}, crossref = {conf/fm/1993}, description = {dblp}, editor = {Woodcock, Jim and Larsen, Peter Gorm}, interhash = {39cf02b8cdfee1afa058dea1ac4cb602}, intrahash = {10acd2b526d6c7a83cde55088b1dce1f}, isbn = {3-540-56662-7}, keywords = {formal industrial methods myown safety-critical standards systems}, pages = {183-195}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-02T00:42:58.000+0200}, title = {The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1993.html#BowenS93}, volume = 670, year = 1993 }