%0 Book Section %1 reference/se/BowenHV10 %A Bowen, Jonathan P. %A Hinchey, Mike %A Vassev, Emil %B Encyclopedia of Software Engineering %D 2010 %E Laplante, Phillip A. %I Taylor & Francis %K engineering formal methods myown requirements software specification %P 321-332 %T Formal Requirements Specification. %U http://dblp.uni-trier.de/db/reference/se/se2010.html#BowenHV10 %@ 978-1-4200-5977-9

@incollection{reference/se/BowenHV10, added-at = {2011-08-01T19:31:21.000+0200}, author = {Bowen, Jonathan P. and Hinchey, Mike and Vassev, Emil}, biburl = {https://www.bibsonomy.org/bibtex/2afcd062c357c1113c5c09eb84a7c3a05/jpbowen}, booktitle = {Encyclopedia of Software Engineering}, crossref = {reference/se/2010}, editor = {Laplante, Phillip A.}, ee = {http://www.informaworld.com/10.1081/E-ESE-120044177}, interhash = {95a61b82f7aadf5e731d0ac72bd95f76}, intrahash = {afcd062c357c1113c5c09eb84a7c3a05}, isbn = {978-1-4200-5977-9}, keywords = {engineering formal methods myown requirements software specification}, pages = {321-332}, publisher = {Taylor & Francis}, timestamp = {2011-08-01T19:31:21.000+0200}, title = {Formal Requirements Specification.}, url = {http://dblp.uni-trier.de/db/reference/se/se2010.html#BowenHV10}, year = 2010 }