(2007). AFM '07 Second Workshop on Automated Formal Methods: November 6, 2007, Atlanta, Georgia / John Rushby and Natarajan Shankar, editors. [electronic resource].
Cytowanie według stylu Chicago (wyd. 17)AFM '07 Second Workshop on Automated Formal Methods: November 6, 2007, Atlanta, Georgia / John Rushby and Natarajan Shankar, Editors. [electronic Resource]. 2007.
Cytowanie według stylu MLA (wyd. 9)AFM '07 Second Workshop on Automated Formal Methods: November 6, 2007, Atlanta, Georgia / John Rushby and Natarajan Shankar, Editors. [electronic Resource]. 2007.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..