%0 Book
%A  Cormac Flanagan, Barbara König (eds.)
%T Tools and algorithms for the construction and analysis of systems
%U /book/89976109/Tools-and-algorithms-for-the-construction-and-anal/