@第{zbMATH07234801条，作者={Wang，Hanpin和Zhang，Lei}，Title={云计算中形式化方法的调查}，FJournal={广州大学学报.自然科学版}，学报={广州大学自然科学版}，ISSN={1671-4229}，体积={18}，数字={4}，页码={69--74}，年份={2019}，语言={中文}，关键词={68M11,68Q01，68Q60，68-02}，zbMATH={7234801}，Zbl={1449.68007}}