@第{zbMATH07295745条，作者={江，晶晶和乔，雷和杨，梦菲和杨，华和刘，博}，Title={基于{Coq}}的操作系统任务管理需求层建模和验证，FJournal={软件杂志}，期刊={J.Softw.}，ISSN={1000-9825}，体积={31}，数字={8}，页码={2375--2387}，年份={2020年}，语言={中文}，DOI={10.13328/j.cnki.jos.005961}，关键词={68N25,68Q60,68V15}，zbMATH={7295745}，Zbl={1463.68015}}