Extending Typestate Checking Using Conditional Liveness Analysis.
, and .
IEEE Trans. Software Eng. 19 (5): 478-485 (1993)

  • @snowball
  • @dblp
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).