added recent publications

Signed-off-by: Konstantin Läufer <[email protected]>
klaeufer · Oct 31, 2024 · c2e27a1 · c2e27a1
1 parent 8762d51
commit c2e27a1
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/bibs/magazine/2024-article-computer.bib b/bibs/magazine/2024-article-computer.bib
@@ -0,0 +1,10 @@
+@article{laufer2024computer,
+      abbr={Magazine},
+      journal={Computer}, 
+      title={Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions},
+      author={Konstantin Läufer and Gunda Mertin and George K. Thiruvathukal},
+      year={2024},
+      volume={57},
+      number={12},
+      doi={10.1109/MC.2024.3462188},
+}
diff --git a/personal.tex b/personal.tex
@@ -2,8 +2,8 @@ \section{Languages}
 
 Native German (full proficiency) and Alemannic (limited practice), 
 full proficiency in English, 
-professional working proficiency in Spanish, 
-and limited proficiency in Italian.
+professional working proficiency (C1) in Spanish, 
+and limited proficiency (B1) in Italian.
 
 % \section{Personal Interests}