Session details: Research demonstrations: verification and testing

Proceeding of the 28th international conference on Software engineering - ICSE '06 ◽

10.1145/3245453 ◽

2006 ◽

Author(s):

M. Dwyer ◽

K. Futatsugi

Download Full-text