Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings (Q2400911)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings
scientific article

    Statements

    Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings (English)
    0 references
    30 August 2017
    0 references
    0 references
    0 references

    Identifiers