Formal Methods in System Design

, Volume 24, Issue 2, pp 99–100 | Cite as

Foreword

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

Personalised recommendations