Zetzsche, S., & Rozowski, W. (2024). Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.
Cita Chicago Style (17a ed.)Zetzsche, Stefan, y Wojciech Rozowski. Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. 2024.
Cita MLA (9a ed.)Zetzsche, Stefan, y Wojciech Rozowski. Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. 2024.
Precaución: Estas citas no son 100% exactas.