SAVCBS '09: Proceedings of the 8th international workshop on Specification and verification of component-based systems

Marieke Huisman
Bok · Engelsk

Utgitt	ACM
Emner	Information Technology - Computer Science (Hardware & Networks)
ISBN	1-60558-680-3