Politechnika Wrocławska
Przejścia między stanami
Stos
pop [wys.>1] push [wys.<max-1]
push
uruch
| pop [wys.=1]
Jj
Spillner, Linz Schaefer: Software Testing Foundations