in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 7213 LNCS, Pages: 89-103
Conference
15Th International Conference on Foundations of Software Science and Computational Structures, Fossacs 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2012, Date: 24 March 2012 through 1 April 2012, Location: Tallinn, Sponsors: Institute of Cybernetics at TUT;Tallinn University of Technology(TUT);EXCS Eur. Reg. Dev. Fund (ERDF);Estonian Convention Bureau;Microsoft Research
