A formal nethod (a networked formal method) | Publicación