(2024). Deciding Boolean Separation Logic via Small Models. Lecture notes in computer science, 14570, . https://doi.org/10.1007/978-3-031-57246-3_11
Chicago Style (17th ed.) Citation"Deciding Boolean Separation Logic via Small Models." Lecture Notes in Computer Science 14570 (2024). https://doi.org/10.1007/978-3-031-57246-3_11.
MLA (9th ed.) Citation"Deciding Boolean Separation Logic via Small Models." Lecture Notes in Computer Science, vol. 14570, 2024, https://doi.org/10.1007/978-3-031-57246-3_11.
Warning: These citations may not always be 100% accurate.