Semantical analysis of specification logic
scientific article; zbMATH DE number 4147556
scientific article