This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Journal of Automated Reasoning
A conference, workshop or journal: the thing that recurs, across all its years.
Springer's journal on automated reasoning: theorem provers, proof assistants, decision procedures and the systems built from them. The journal counterpart to CADE and IJCAR.
4 references
Verifying OpenJDK's Sort Method for Generic Collections
Stijn de Gouw and others (2019) · Journal of Automated Reasoning · Springer
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder and others (2017) · Journal of Automated Reasoning · Springer
Proof Pearl: The KeY to Correct and Stable Sorting
Stijn de Gouw and others (2014) · Journal of Automated Reasoning · Springer
The notion of proof in hardware verification
Avra Cohn (1989) · Journal of Automated Reasoning · Springer Science and Business Media LLC