Volume 6, Numbers 1-2, March 2010 Special Issue ICFEM'09
: An integrated multi-view model evolution framework.
: FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword.
: An approach to applying SOFL for agile process and its application in developing a test support tool.
Volume 6, Number 3, September 2010 Special Issue on NFM 2009;Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
Volume 6, Number 4, December 2010