in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7213, Pages: 89-103 (15)
Conference
15Th International Conference on Foundations of Software Science and Computational Structures (Fossacs), Date: MAR 24-APR 01, 2012, Location: Tallinn, ESTONIA