Zitieren
1.
Christiansen J, Dylus S. Proving Inequational Propositions about Haskell Programs in Coq. 2019.
Christiansen, J. ., & Dylus, S. . (2019). Proving Inequational Propositions about Haskell Programs in Coq.
Christiansen, Jan, und Sandra Dylus. 2019. „Proving Inequational Propositions about Haskell Programs in Coq“.
Christiansen, Jan, und Sandra Dylus. „Proving Inequational Propositions about Haskell Programs in Coq“. 2019: n. pag. Print.
Christiansen, Jan, und Sandra Dylus. Proving Inequational Propositions about Haskell Programs in Coq. 2019.