Return to Issue Details Application of formal methods in the design of a collaborative virus defense system Download Download PDF