Cite
HARVARD Citation
Dutle, A. et al. (eds.) (2018) NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100072715152.0x000001