*Result*: Abstraction refinement techniques for software model checking
*Title*:
Abstraction refinement techniques for software model checking / vorgelegt von Mohamed Nassim Seghir
*Author/editor-in-chief*:
*Manufacture*:
2010
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Albert-Ludwigs-Universität Freiburg, 2010
*Subject Added Keywords*: