Search Results - "compositional and refinement-based methodologies"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II by Biere, Armin, Parker, David

    ISBN: 9783030452360, 3030452360
    Published: Cham Springer International Publishing AG 2020
    “…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
    Get full text
    eBook
    Save to List
    Saved in:
  2. 2
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I by Biere, Armin, Parker, David

    ISBN: 9783030451899, 3030451895
    Published: Cham Springer International Publishing AG 2020
    “…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
    Get full text
    eBook
    Save to List
    Saved in:
  3. 3
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

    Published: Cham Springer Nature 2020
    “…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
    Get full text
    eBook
    Save to List
    Saved in:
  4. 4
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

    Published: Cham Springer Nature 2020
    “…This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of…”
    Get full text
    eBook
    Save to List
    Saved in:

Search Tools: