A Decision Procedure for Bit-Vectors and Arrays

Author(s)

Journal

  • Proceedings of 19th International Conference of Computer Aided Verification (CAV'07)

    Proceedings of 19th International Conference of Computer Aided Verification (CAV'07), 519-531, 2007

    Springer

Cited by:  1

Codes

  • NII Article ID (NAID)
    10026562869
  • Article Type
    Proceedings
  • Data Source
    CJPref 
Page Top