Using Spec Explorer for Automatic Checking of Constraints in Software a $ eg$ Controlled Systems Academic Article uri icon

author list (cited authors)

  • Alsmadi, I.

complete list of authors

  • Alsmadi, I

publication date

  • 2011