Decision Procedures for Flat Array Properties

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