Search results for: Elvira Albert
Software & Systems Modeling > 2016 > 15 > 4 > 987-1012
Journal of Automated Reasoning > 2011 > 46 > 2 > 161-203
Software & Systems Modeling > 2016 > 15 > 4 > 987-1012
Journal of Automated Reasoning > 2011 > 46 > 2 > 161-203