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