A formal nethod (a networked formal method).

Peter T. Breuer Simon Pickin A formal nethod (a networked formal method). 255-268 2010 6 ISSE 4 http://dx.doi.org/10.1007/s11334-009-0121-4 db/journals/isse/isse6.html#BreuerP10