Decision Procedures for Flat Array Properties

TitleDecision Procedures for Flat Array Properties
Publication TypeJournal Article
Year of Publication2015
AuthorsAlberti, Francesco, Ghilardi S., and Sharygina Natasha
JournalJ. Autom. Reasoning
Volume54
Start Page327
Issue4
Pagination352
Date Published04/2015