Model-Based Testing of Reactive Systems Advanced Lectures - Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter.; Leucker, Martin; Pretschner, Alexander; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters