Cite
MLA Citation
Maurice H. ter Beek et al., editors. From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday. Cham, Switzerland : Springer, 2019. http://access.bl.uk/ark:/81055/vdc_100090011036.0x000001