Concise guide to software verification : from model checking to annotation checking

Author(s)

    • Huisman, Marieke
    • Wijs, Anton

Bibliographic Information

Concise guide to software verification : from model checking to annotation checking

Marieke Huisman, Anton Wijs

（Texts in computer science）

Springer, c2023

Available at  / 1 libraries

Search this Book/Journal

Related Books： 1-1 of 1

Details

  • NCID
    BD06477963
  • ISBN
    • 9783031301667
  • Country Code
    sz
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cham
  • Pages/Volumes
    ix, 247 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top