Výsledky hledání pro autora

1

Obálka

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings /

Vydáno 2001

Další autoři: '; “...Margaria-Steffen, Tiziana, 1964-...”

Kniha

2

Obálka

FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 /

Vydáno 2005

Další autoři: '; “...Margaria-Steffen, Tiziana, 1964-...”

Kniha

3

Obálka

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 : Livingston, Scotland, UK, September 4-7, 2001 : proceedings /

Vydáno 2001

Další autoři: '; “...Margaria-Steffen, Tiziana, 1964-...”

Kniha

4

Obálka

Tools and algorithms for the construction and analysis of systems : second International Workshop TACAS '96 : Passau, Germany, March 27-29, 1996 : proceedings /

Vydáno 1996

Další autoři: '; “...Margaria-Steffen, Tiziana, 1964-...”

Kniha

5

Obálka

Leveraging applications of formal methods : first international symposium, ISOLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, revised selected papers /

Vydáno 2006

Další autoři: '; “...Margaria-Steffen, Tiziana, 1964-...”

Kniha

6

Obálka

Fundamental approaches to software engineering : 7th International Conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 : Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Vydáno 2004

Další autoři: '; “...Margaria-Steffen, Tiziana, 1964-...”

Kniha