Model Checking and Teaching Computer Science | Joseph Sifakis

This content originally appeared on TEDx Talks and was authored by TEDx Talks

Print Share Comment Cite Upload Translate Updates

APA

TEDx Talks | Sciencx (2024-08-02T15:08:39+00:00) Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf. Retrieved from https://www.scien.cx/2024/08/02/model-checking-and-teaching-computer-science-joseph-sifakis-tedxniendorf/

MLA

" » Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf." TEDx Talks | Sciencx - Friday August 2, 2024, https://www.scien.cx/2024/08/02/model-checking-and-teaching-computer-science-joseph-sifakis-tedxniendorf/

HARVARD

TEDx Talks | Sciencx Friday August 2, 2024 » Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf., viewed ,<https://www.scien.cx/2024/08/02/model-checking-and-teaching-computer-science-joseph-sifakis-tedxniendorf/>

VANCOUVER

TEDx Talks | Sciencx - » Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf. [Internet]. [Accessed ]. Available from: https://www.scien.cx/2024/08/02/model-checking-and-teaching-computer-science-joseph-sifakis-tedxniendorf/

CHICAGO

" » Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf." TEDx Talks | Sciencx - Accessed . https://www.scien.cx/2024/08/02/model-checking-and-teaching-computer-science-joseph-sifakis-tedxniendorf/

IEEE

" » Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf." TEDx Talks | Sciencx [Online]. Available: https://www.scien.cx/2024/08/02/model-checking-and-teaching-computer-science-joseph-sifakis-tedxniendorf/. [Accessed: ]

rf:citation

Please log in to upload a file.

There are no updates yet.
Click the Upload button above to add an update.

You must be logged in to translate posts. Please log in or register.

Related Posts