APA (7e ed.) Bronvermelding

(2009). Formal methods for industrial critical systems: 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / Darren Cofer, Alessandro Fantechi (eds.).

Chicago (17e ed.) Bronvermelding

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : Revised Selected Papers / Darren Cofer, Alessandro Fantechi (eds.). 2009.

MLA (9e ed.) Bronvermelding

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : Revised Selected Papers / Darren Cofer, Alessandro Fantechi (eds.). 2009.