Jakubczyk, Krzysztof
(2013-10-17)
The rapid growth of computer industry requires creating large, highly complicated and sophisticated software. This implies increasing probability for errors, bugs and failures. Various software verification techniques are ...