APA Citation

Petrovska, O., Berger, U., & Tsuiki, H. (2020). Prawf: An Interactive Proof System for Program Extraction. Lecture Notes in Computer Science, 12098, pp. 137-148. doi:10.1007/978-3-030-51466-2_12

Chicago Style Citation

Petrovska, Olga, Ulrich Berger, and Hideki Tsuiki. "Prawf: An Interactive Proof System for Program Extraction." Lecture Notes in Computer Science 12098 (2020): 137-148.

MLA Citation

Petrovska, Olga, Ulrich Berger, and Hideki Tsuiki. "Prawf: An Interactive Proof System for Program Extraction." Lecture Notes in Computer Science 12098 (2020): 137-148.

Warning: These citations may not always be 100% accurate.