Behavioral interface specification languages

In  ACM Comput. Surv.

Details

TypeArticle
Pages16
Volume44
Number3
> Publications > Behavioral interface specification languages