Logik und Formale Methoden

Improved Underspecification for Model-based Testing in Agile Development

  • Autor(en):

    David Faragó

  • Quelle:

    Lecture Notes in Informatics (LNI) Volume P-179 - Proceedings of the Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy).

  • Datum: 17. September 2010