Practical experiences of using formal requirements and their role in an overall work-flow
2017 ◽
Vol 6
(9)
◽