@第{zbMATH06715527条，作者={Chakraborty、Supratik和Khasidashvili、Zurab和Seger、Carl-Johan H.和Gajavelly、Rajkumar和Haldankar、Tanmay和Chhatani、Dinesh和Mistry、Rakesh}，Title={用于单词级验证的符号轨迹评估：理论和实现}，FJournal＝{系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={50}，数字={2-3}，页码={317--352}，年份={2017年}，语言={英语}，DOI={10.1007/s10703-017-0268-9}，关键词={68Q60}，zbMATH={6715527}，Zbl={1360.68582}}