Bagheri_Titanium_DG.pdf Download Tags: CMU Evolving Software formal verification Jan'17 Oct'16 Partial Models Relational Logic License: Creative Commons 2.5 Submitted by Jamie Hagerty on Tue, 12/06/2016 - 09:42