About this scholarly article

Predicate Abstraction with Adjustable-block Encoding by Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler is a scholarly article available to read on EtoBox.

Author

Dirk Beyer, M. Erkan Keremoglu, Philipp Wendler