Logic in computer science : modelling and reasoning about systems /

Autor Huth, Michael, 1962-, Ryan, Mark, 1955-
Vydáno 2000

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings /

Vydáno 2007