About this scholarly article

Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - Interface grammars for modular software model checking by Hughes, Graham; Bultan, Tevfik is a scholarly article available to read on EtoBox.

Author

Hughes, Graham; Bultan, Tevfik

Publisher

ACM Press

Published

2007

Language

EN