Contributions to Collections

back

From Testing to Theorem Proving


Authors

  • Timm, I. J.
  • Scholz, T.
  • Fürstenau, H.

Meta information [BibTeX]

  • Year: 2006, Reviewed
  • Kirn, P. D. S. and Herzog, P. D. O. and Lockemann, P. D. P. and Spaniol, P. D. O. (Editors)
  • In: Multiagent Engineering
  • Subtitle: Theory and Applications in Enterprises
  • Series: International Handbooks on Information Systems
  • Publisher: Springer, Berlin Heidelberg
  • Pages: 531-554
  • ISBN: 978-3-540-31406-6, eISBN: 978-3-540-32062-3
  • DOI: 10.1007/3-540-32062-8_25



Arbeitsgruppe TZI



Timm, I. J.; Scholz, T.; Fürstenau, H.
From Testing to Theorem Proving
In: Kirn, P. D. S.; Herzog, P. D. O.; Lockemann, P. D. P.; Spaniol, P. D. O. (eds.): Multiagent Engineering. Springer, Berlin Heidelberg. 2006, pp. 531-554
(Workgroup: TZI)
BibTeX Close


Download as .bib