Formal Methods in System Design

, Volume 24, Issue 2, pp 99–100

Foreword

Authors

  • Klaus Havelund
    • Kestrel TechnologyNASA Ames Research Center
  • Grigore Roşu
    • University of Illinois at Urbana-Champaign
Foreword

DOI: 10.1023/B:FORM.0000017842.17301.bc

Cite this article as:
Havelund, K. & Roşu, G. Formal Methods in System Design (2004) 24: 99. doi:10.1023/B:FORM.0000017842.17301.bc
  • 19 Views
Download to read the full article text

Copyright information

© Kluwer Academic Publishers 2004