Publications 2000

Main content

  • David Basin and Luca Viganò.
    A Recipe for the Complexity Analysis of Non-Classical Logics
    .
    In Frontiers of Combining Systems 2 (Proceedings of FroCoS'98).
    Studies in Logic and Computation Research Studies Press/Wiley, 2000.
    [abstract (TXT, 758 Bytes) | BibTeX (TXT, 1 KB)]
  • Christoph Lüth and Burkhart Wolff.
    More about TAS and IsaWin: Tools for Formal Program Development.
    In Fundamental Approaches to Software Engineering FASE 200. Joint European Conferences on Theory and Practice of Software ETAPS 2000.
    Lecture Notes in Computer Science, 1783. Springer Verlag, 2000.
    [abstract (TXT, 1 KB) | BibTeX (TXT, 2 KB) | PDF (PDF, 3.4 MB) | gzip'ed PDF (GZ, 92 KB)]
  • G. Wimmel and H. Lötzbeyer and A. Pretschner and O. Slotosch.
    Specification Based Test Sequence Generation with Propositional Logic
    .
    In Software Testing, Validation, and Reliability, 10 (4), pages 229-248, 2000.
    [BibTeX (TXT, 437 Bytes) | Wiley]
 
Page URL: http://www.infsec.ethz.ch/research/publications/pub2000.html
Fri May 26 05:41:36 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich