RVT

swMATH31320MaRDI QIDQ43031FDOQ43031

Author name not available (Why is that?)

Described by source

• Regression verification for unbalanced recursive functions

Cited In (2)

• Product programs in the wild: retrofitting program verifiers to check information flow security
• Modular Verification of Procedure Equivalence in the Presence of Memory Allocation

This page was built for software: RVT