Formal logic, program verification, and modal logic in computer science.
No articles with this tag yet.