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