Hana Chockler, Sitvanit Ruah. Verification of software changes with ExpliSAT. In Michael Wahler, Danny Dig, editors, 4th International Workshop on Hot Topics in Software Upgrades, HotSWUp 2012, Zurich, Switzerland, June 3, 2012. pages 31-35, IEEE, 2012. [doi]
Abstract is missing.