Composition and refinement of behavioral specifications
Dusko Pavlovic and Douglas R. Smith
Details
| Book Title |
Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering |
| Publisher |
IEEE |
| Year |
2001 |
Links
Related pages
|
People |