@第{zbMATH07225038条，作者={Baresi，L.和Bersani，M.M.和Marconi，F.以及Quattrocchi，G.和Rossi，M.}，Title={使用形式验证评估{Spark}应用程序}的执行时间，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN＝{0934-5043}，体积={32}，数字={1}，页码={33--70}，年份={2020年}，语言={英语}，DOI={10.1007/s00165-020-00505-4}，关键词={68Q60}，URL={hdl.handle.net/11311/1135498}，zbMATH={7225038}，Zbl={1451.68166}}