Verification of Scenario-based Specifications using Templates

Girish Keshav Palshikar, Purandar Bhaduri. Verification of Scenario-based Specifications using Templates. Electronic Notes in Theoretical Computer Science, 118:37-55, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.