Cited By
View all- Shah AMora FSeshia SWooldridge MDy JNatarajan S(2024)An eager satisfiability modulo theories solver for algebraic datatypesProceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v38i8.28649(8099-8107)Online publication date: 20-Feb-2024
- Monniaux D(2024)Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilersInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00760-326:4(463-477)Online publication date: 1-Aug-2024
- Luttenberger MSchlund M(2024)Newton’s Method – There and Back AgainTaming the Infinities of Concurrency10.1007/978-3-031-56222-8_11(181-205)Online publication date: 20-Mar-2024
- Show More Cited By