Behavioral interface specification languages
John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, and Matthew J. Parkinson
2012
In ACM Comput. Surv.
Details
| Type | Article |
| Pages | 16 |
| Volume | 44 |
| Number | 3 |
Related People
Share
John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, and Matthew J. Parkinson
2012
In ACM Comput. Surv.
| Type | Article |
| Pages | 16 |
| Volume | 44 |
| Number | 3 |
