Behavior Protocols for Software Components (0)

by F Plasil, S Visnovsky
Venue:IEEE Transactions on Software Engineering