Article,

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.

, , and .
International Journal of Software Engineering and Knowledge Engineering, 21 (2): 259-288 (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews