Context

Context of Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.), (electronic book)
Processing Feedback ...