Cited By
View all- Su YNavas JGurfinkel AGarcia-Contreras I(2025)Automatic Inference of Relational Object InvariantsVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-82700-6_10(214-236)Online publication date: 20-Jan-2025
- Zhang CLu LSong YMeng QZhang JShao XZhang GHou M(2022)Butterfly: μW Level ULP Sensor Nodes with High Task ThroughputSensors10.3390/s2208308222:8(3082)Online publication date: 17-Apr-2022
- Pawson R(2022)The Myth of the Harvard ArchitectureIEEE Annals of the History of Computing10.1109/MAHC.2022.317561244:3(59-69)Online publication date: 1-Jul-2022