Search for contacts, projects,
courses and publications

Decision Procedures for Flat Array Properties

Additional information

Authors
Alberti F., Sharygina N.
Type
Technical report
Year
2013
Language
English
Number
2013/04
Month
October