Crossmark

Software engineering and formal methods: SEFM 2019 special section

Published Online: 2021-03-12

Published Print: 2021-04

Authors

Ölveczky, Peter Csaba

Salaün, Gwen
License Information

Text and Data Mining valid from 2021-03-12

Version of Record valid from 2021-03-12
More Information

Article History

Received: 6 February 2021

Accepted: 8 February 2021

First Online: 12 March 2021

Free to read: This content has been made available to all.

Document is current