IJIT

MaRDI QIDQ33313swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-66197-1_20

Cited in

(2)

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

This page was built for software: IJIT