We have been teaching formal methods for eight years at two major Argentinean universities. It is hard to find examples of the application of formal methods outside the most advanced industrial sectors. Then, why teach formal methods in a country that hardly produce software for advanced industries? Why formal methods in a country which buy technology… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.