Showing 1 - 2 results of 2 for search 'VSTTE Online', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers

    Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18–1...

    Published 2022
    “…VSTTE Online…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Software verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

    Software verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

    Published 2020
    “…VSTTE Online…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: