Cited By
View all- Paiva JLeal JFigueira Á(2024)Comparing semantic graph representations of source code: The case of automatic feedback on programming assignmentsComputer Science and Information Systems10.2298/CSIS230615004P21:1(117-142)Online publication date: 2024
- Pimpalkhare NKincaid Z(2024)Monotone Procedure Summarization via Vector Addition Systems and Inductive PotentialsProceedings of the ACM on Programming Languages10.1145/36897778:OOPSLA2(1873-1899)Online publication date: 8-Oct-2024
- Seidl HErhard JTilscher SSchwarz M(2024)Non-numerical weakly relational domainsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00755-026:4(479-494)Online publication date: 1-Aug-2024
- Show More Cited By