权威例句
BanderaBandera: extracting finite-state models from Java source codeBandera: a source-level interface for model checking Java programsBandera: a source-level interface for model checking Java programset al. Bandera: Extracting finite state models from Java source codeUsing the Bandera Tool Set to Model-Check Properties of Concurrent Java SoftwareUsing the Bandera Tool Set to Model-Check Properties of Concurrent Java SoftwareExpressing checkable properties of dynamic systems: the Bandera Specification LanguageLate-Glacial History of Lago Argentino, Argentina, and Age of the Puerto Bandera MorainesEnriched and depleted source components for tholeiitic and alkaline lavas from Zuni-Bandera, New Mexico: Inferences about intraplate...