APA

Huisman M., Association for Computing Machinery & ACM Special Interest Group on Software Engineering. (2009). Proceedings of the 8th international workshop on Specification and verification of component-based systems. New York, NY: ACM.

Chicago

Huisman Marieke, Association for Computing Machinery and ACM Special Interest Group on Software Engineering. 2009. Proceedings of the 8th international workshop on Specification and verification of component-based systems. New York, NY: ACM.

Harvard

Huisman M., Association for Computing Machinery and ACM Special Interest Group on Software Engineering. (2009). Proceedings of the 8th international workshop on Specification and verification of component-based systems. New York, NY: ACM.

MLA

Huisman Marieke, Association for Computing Machinery and ACM Special Interest Group on Software Engineering. Proceedings of the 8th international workshop on Specification and verification of component-based systems. New York, NY: ACM. 2009.