Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Path invariants

Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko

Details

Publication typeInproceedings
Published inPLDI'2007: Programming Language Design and Implementation
Pages300–309
PublisherACM Press
> Publications > Path invariants