Bandera

Bandera怎么读

Bandera的意思释义

释义

[人名] 班德拉；[地名] [阿根廷、美国] 班德拉；

英英释义

Bandera carries the following meanings:

Bandera用法及例句

例句参考

Bandera: extracting finite-state models from Java source code

Bandera: a source-level interface for model checking Java programs

Bandera: a source-level interface for model checking Java programs

et al. Bandera: Extracting finite state models from Java source code

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

Expressing checkable properties of dynamic systems: the Bandera Specification Language

Late-Glacial History of Lago Argentino, Argentina, and Age of the Puerto Bandera Moraines

Enriched and depleted source components for tholeiitic and alkaline lavas from Zuni-Bandera, New Mexico: Inferences about intraplate...