Relational Logic with Framing and Hypotheses. - Anindya Banerjee 001; David A. Naumann; Mohammad Nikouei (FSTTCS, 2016)

Relational Logic with Framing and Hypotheses: Technical Report. - Anindya Banerjee 001; David A. Naumann; Mohammad Nikouei (CoRR, 2016)

A Logical Analysis of Framing for Specifications with Pure Method Calls. - Anindya Banerjee 001; David A. Naumann; Mohammad Nikouei (ACM Trans. Program. Lang. Syst., 2018)

Data Abstraction and Relational Program Logic. - Anindya Banerjee 001; Ramana Nagasamudram; David A. Naumann; Mohammad Nikouei (CoRR, 2019)

A Relational Program Logic with Data Abstraction and Dynamic Framing. - Anindya Banerjee 001; Ramana Nagasamudram; David A. Naumann; Mohammad Nikouei (ACM Trans. Program. Lang. Syst., 2022)