Formal Methods and Innovation Economy: Facing New Challenges.

Alexander K. Petrenko, Olga L. Petrenko

Browse the full SEFM paper archive.