• Medientyp: E-Artikel
  • Titel: Cobra: a light-weight tool for static and dynamic program analysis
  • Beteiligte: Holzmann, Gerard J.
  • Erschienen: Springer Science and Business Media LLC, 2017
  • Erschienen in: Innovations in Systems and Software Engineering
  • Sprache: Englisch
  • DOI: 10.1007/s11334-016-0282-x
  • ISSN: 1614-5046; 1614-5054
  • Schlagwörter: Software
  • Entstehung:
  • Anmerkungen: