MOMENTAN AUSVERKAUFT

Using Model Checking to Generate Test Cases for Critical Systems von Wei Ding (2010, Taschenbuch)