Advertisement

Formal Methods in System Design

, Volume 27, Issue 3, pp 211–212 | Cite as

Foreword

  • Klaus Havelund
  • Grigore Roşu
Article

Keywords

Operating System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Science + Business Media, Inc. 2005

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