On the analysis needs when verifying state-based software requirements: an experience report

• Authors:

• Mats P.E. Heimdahl;Barbara J. Czerny

• Affiliations:

• -;-

• Venue:
• Science of Computer Programming
• Year:
• 2000