authors

dafny-lang · Jan 2, 2024 · 213cde0 · 213cde0
1 parent 05bfc5a
commit 213cde0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/_posts/2024-01-10-semantics-of-regular-expressions.markdown b/_posts/2024-01-10-semantics-of-regular-expressions.markdown
@@ -1,8 +1,8 @@
 ---
 layout: post
 title:  "Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny"
-date:   2024-01-10 18:00:00 +0100
-author: Stefan Zetzsche, Wojciech Różowski
+date: 2024-01-10 18:00:00 +0100
+author: Stefan Zetzsche and Wojciech Różowski
 ---
 
 ## Introduction