by Irina Trofimova
A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing pha…