Crossmark

Rance Cleaveland: a life for formal methods

Crossref DOI link: https://doi.org/10.1007/s10009-024-00746-1

Published Online: 2024-05-02

Published Print: 2024-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Steffen, Bernhard
License Information

Text and Data Mining valid from 2024-05-02

Version of Record valid from 2024-05-02
More Information

Article History

Accepted: 19 April 2024

First Online: 2 May 2024

Free to read: This content has been made available to all.