Welcome to Central Library, SUST
Normal view MARC view
  • Computer programs

Computer programs Verification Congresses. (Topical Term)

Preferred form: Computer programs Verification Congresses.

Machine generated authority record.

Work cat.: (BD-SySUS)0: Verification, model checking, and abstract interpretation :, c2006.