@article{Steffen_2024,
    title = {Rance Cleaveland: a life for formal methods},
    volume = {26},
    issn = {1433-2787},
    url = {http://dx.doi.org/10.1007/s10009-024-00746-1},
    doi = {10.1007/s10009-024-00746-1},
    number = {3},
    journal = {International Journal on Software Tools for Technology Transfer},
    publisher = {Springer Science and Business Media LLC},
    author = {Steffen, Bernhard},
    year = {2024},
    month = {may},
    pages = {247–248},
    date-added = {2026-2-10 16:35:53 +0100}
}

@article{Steffen_2024, title = {Rance Cleaveland: a life for formal methods}, volume = {26}, issn = {1433-2787}, url = {http://dx.doi.org/10.1007/s10009-024-00746-1}, doi = {10.1007/s10009-024-00746-1}, number = {3}, journal = {International Journal on Software Tools for Technology Transfer}, publisher = {Springer Science and Business Media LLC}, author = {Steffen, Bernhard}, year = {2024}, month = {may}, pages = {247–248}, date-added = {2026-2-10 16:35:53 +0100} }