Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Behavioral interface specification languages

John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, and Matthew J. Parkinson

Details

Publication typeArticle
Published inACM Comput. Surv.
Pages16
Volume44
Number3
> Publications > Behavioral interface specification languages