Cite

HARVARD Citation

    Singh, N. et al. (2021). A formal approach to rigorous development of critical systems. Journal of software. 33 (4), p. n/a. [Online]. 
  
Back to record