×
  • Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

    Robert Kurshan (auth.) Robert Kurshan (eds.)

Click on cover to enlarge.
3 - 4Hours to read