Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers - Arbab, Farhad; Sirjani, Marjan; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Programming Techniques; Models and Principles