scientific article; zbMATH DE number 6862039
From MaRDI portal
Publication:4636558
DOI10.4230/LIPIcs.FSTTCS.2016.11zbMath1391.68017arXiv1611.08992MaRDI QIDQ4636558
Mohammad Nikouei, Anindya Banerjee, David A. Naumann
Publication date: 19 April 2018
Full work available at URL: https://arxiv.org/abs/1611.08992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Operationally-based program equivalence proofs using LCTRSs ⋮ Relational program reasoning using compiler IR ⋮ Unnamed Item ⋮ Modular Verification of Procedure Equivalence in the Presence of Memory Allocation ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing ⋮ Unnamed Item
This page was built for publication:
