Cited By
View all- 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
- Tanaka-Ishii KTanaka A(2023)Strahler number of natural language sentences in comparison with random treesJournal of Statistical Mechanics: Theory and Experiment10.1088/1742-5468/ad02222023:12(123403)Online publication date: 4-Dec-2023
- Show More Cited By