formal verification and combination

相关单词

• ventriloquistn. 腹语术者；口技艺人
• vacancyn. 空缺，空职；（旅馆等的）空房，空间；无知，空虚；空隙，空处
• futurologistn. 未来学家
• funambulistn. 走绳索的杂技演员
• freelanceadj. 特约的，自由职业（者）的 adv. 以自由职业者身份 n. 自由职业者；<史>中世纪的雇佣兵 v. 做特约工作，从事自由职业
• formann. 工头 n. （Forman）人名；（英、捷、法、匈）福曼
• foremann. 领班；陪审团主席 n. （Foreman）人名；（英、西）福尔曼
• flyern. 传单；飞鸟；飞行物；飞跳；孤注一掷 n. （Flyer）人名；（英）弗莱尔
• floristn. 花商，种花人；花店
• fliern. 飞行员；快车；飞行物；（美）广告传单 n. （Flier）人名；（德）弗利尔；（英）弗莱尔
• fiscalityn. 财政政策；财政考虑
• fireworksn. 烟火（firework 的复数形式）；激烈争论
• fakirn. （伊斯兰教或印度教的）托钵僧，苦行者（伊斯兰教或印度教的）托钵僧，苦行者；骗子 n. （Fakir）人名；（阿拉伯、土）法基尔
• fairgroundn. 露天市场；举行赛会的场所；游乐场
• cribn. <美>（有围栏的）婴儿床；饲料槽，秣槽；<英>圣诞马槽（表现耶稣诞生的情景）；<英，非正式>（学生用于作弊的）夹带；<非正式>（尤指学生偷偷摸摸地用的课文的）对照译文；抄袭（或剽窃）来的东西；<美，非正式>住处，小窝；克里比奇纸牌戏（cribbage 的简称）；（克里比奇牌戏中的）配点牌张；（建筑物的）木笼，（矿井的）井框（=cribwork）；<澳新>简单饭菜，快餐 v. <非正式>抄袭，剽窃；<古>束缚，限制；<英，旧>抱怨，发牢骚