Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie SettingsÇeliku, O. (2006). Mechanized reasoning for dually-nondeterministic and probabilistic programs. Turku Centre for Computer Science.
Chicago Style CitationÇeliku, Orieta. Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs. Turku: Turku Centre for Computer Science, 2006.
MLA CitationÇeliku, Orieta. Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs. Turku Centre for Computer Science, 2006.
Harvard Style CitationÇeliku, O. 2006. Mechanized reasoning for dually-nondeterministic and probabilistic programs. Turku: Turku Centre for Computer Science.
Content Cannot be Displayed
Chat content cannot be displayed due to cookie settings. To view the content, modify your cookie settings to allow the following categories: Chat Services.
Cookie Settings