Carregant...
Carregant...

Vés al contingut (premeu Retorn)

SMT Techniques for Predicate Abstraction

Autor
Nieuwenhuis, R.; Oliveras, A.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2006-08
Número
4144
Pàgina inicial
424
Pàgina final
437
Grup de recerca
LOGPROG - Lògica i Programació