Simulation wm en
CHEMCAD - Simulação e Análise de Processos Químicos
Model Checker In-The-Loop Flavio Lerda, Edmund M. Clarke Computer Science Department Jim Kapinski, Bruce H. Krogh Electrical & Computer Engineering MURI.
229