Linda M. Northrop, Mark Klein, John Goodenough, Dennis B. Smith. Needed foundations for assuring the desirable behavior of software-reliant systems. In Gruia-Catalin Roman, Kevin J. Sullivan, editors, Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. pages 259-262, ACM, 2010. [doi]
Abstract is missing.