Books & Monographs

back

Formal Specification Level


Authors

  • Soeken, M.
  • Drechsler, R.

Meta information [BibTeX]

  • Year: 2015
  • Subtitle: Concepts, Methods, and Algorithms
  • Publisher: Springer International Publishing
  • ISBN: 978-3-319-08698-9, eISBN: 978-3-319-08699-6
  • DOI: 10.1007/978-3-319-08699-6




Arbeitsgruppe DFKI




Soeken, M.; Drechsler, R.
Formal Specification Level
Springer International Publishing, 2015
(Workgroup: DFKI)
BibTeX Close


Download as .bib