Assume-guarantee testing for software co
β
Giannakopoulou, D.; Pasareanu, C.S.; Blundell, C.
π
Article
π
2008
π
The Institution of Engineering and Technology
π
English
β 530 KB