Formal Methods: for All or for Chosen?

Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko

Browse the full CSEDU paper archive.