Quaid-i-Azam University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2014

  1. Testing abstract behavioral specifications

    International Journal on Software Tools for Technology Transfer, Vol. 17, Núm. 1, pp. 107-119