A perspective on specifying and verifying concurrent modules
scientific article; zbMATH DE number 6895011
scientific article