Practical Experiences of Using Formal Requirements and Their Role in an Overall Work-flow
2017 ◽
Vol 6
(9)
◽