On Strings in Software Model Checking.

Hossein Hojjat, Philipp Rmmer, Ali Shamakhi

Browse the full APLAS paper archive.