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