Login / Signup
Integrating SMT-Solvers in Z and B Tools.
Alessandro Cavalcante Gurgel
Valério Gutemberg de Medeiros
Marcel Vinícius Medeiros Oliveira
David Boris Paul Déharbe
Published in:
ASM (2010)
Keyphrases
</>
np hard
software tools
end users
genetic algorithm
real time
social networks
object oriented
user friendly
visualization tools