Formal Methods in System Design

, Volume 24, Issue 2, pp 99–100

Foreword

  • Klaus Havelund
  • Grigore Roşu
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 Downloads

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Klaus Havelund
    • 1
  • Grigore Roşu
    • 2
  1. 1.Kestrel TechnologyNASA Ames Research CenterUSA
  2. 2.University of Illinois at Urbana-ChampaignUSA