VERL

swMATH13281MaRDI QIDQ25196FDOQ25196

Author name not available (Why is that?)

Official website: http://www.cs.stevens.edu/~naumann/pub/VERL/

Cited In (2)

• Decision procedures for region logic
• Local reasoning for global invariants. I: Region logic

This page was built for software: VERL