Proceedings of the IEEE Symposium on Logic in Computer Science
E256021
UNEXPLORED
Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Moshe Y. Vardi
→
|
hasPublishedIn |