FFormal Methods for an Informal WorldFormal Methods for an Informal Worldde Antonio CeroneEdiciones (1)Formal Methods for an Informal World (2023)Springer International Publishing AG · inglés · ISBN 9783031436772Más obras de Antonio CeroneTheoretical aspects of computingTheoretical Aspects of Computing – ICTAC 2011Information Technology and Open Source