A
Menu
May 01, 2001 conference-paper

Automatic predicate abstraction of C programs

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/378795.378846 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 443

1 result

References 0