APA (7th ed.) Citation

Pehkonen, J., tiedekunta, I., Technology, F. o. I., Informaatioteknologia, Technology, I., yliopisto, J., & Jyväskylä, U. o. (2021). Ariteetti- ja tietotyyppigeneerinen ohjelmointi Coq-todistusassistentilla.

Chicago Style (17th ed.) Citation

Pehkonen, Jere, Informaatioteknologian tiedekunta, Faculty of Information Technology, Informaatioteknologia, Information Technology, Jyväskylän yliopisto, and University of Jyväskylä. Ariteetti- Ja Tietotyyppigeneerinen Ohjelmointi Coq-todistusassistentilla. 2021.

MLA (9th ed.) Citation

Pehkonen, Jere, et al. Ariteetti- Ja Tietotyyppigeneerinen Ohjelmointi Coq-todistusassistentilla. 2021.