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 journalArticlepeer-review

Original languageAmerican English
Pages (from-to)118-123
Number of pages6
JournalComputer
Volume57
Issue number12
DOIs
StatePublished - 2024
Externally publishedYes

ASJC Scopus Subject Areas

  • General Computer Science

Cite this