APA (7e ed.) Bronvermelding

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).

Chicago (17e ed.) Bronvermelding

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).

MLA (9e ed.) Bronvermelding

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM).

Let op: Deze citaties zijn niet altijd 100% accuraat.