Showing results 1 to 1 of 1 1
in Proceedings of the 3rd Workshop on Harnessing Theories for Tool Support in Software (2011), ENTCS 274
1