Navigating the Requirements Jungle (bibtex)
by Boris Langer, Michael Tautschnig
Reference:
Navigating the Requirements JungleBoris Langer, Michael TautschnigLeveraging Applications of Formal Methods, Verification and Validation (Tiziana Margaria, Bernhard Steffen, eds.), volume 17 of Communications in Computer and Information Science, pages 354–368, October 2008, Springer.
Bibtex Entry:
@inproceedings{langer:tautschnig:isola08,
  author = {Boris Langer and Michael Tautschnig},
  title = {Navigating the Requirements Jungle},
  month = {October},
  year = {2008},
  address = {Porto Sani, Greece},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
  editor = {Tiziana Margaria and Bernhard Steffen},
  pages = {354--368},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {17},
  isbn = {978-3-540-88478-1}
}
Powered by bibtexbrowser