| Original language | American English |
|---|---|
| Pages (from-to) | 118-123 |
| Number of pages | 6 |
| Journal | Computer |
| Volume | 57 |
| Issue number | 12 |
| DOIs | |
| State | Published - 2024 |
| Externally published | Yes |
ASJC Scopus Subject Areas
- General Computer Science
Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions
- Konstantin Läufer
- , Gunda Mertin
- , George K. Thiruvathukal
- , George Hurlburt
- , Sorel Reisman
Research output: Contribution to journal › Article › peer-review