[isabelle] inquiry



Dear All,

 

Do you know whether isabelle is used in Wireless networks
and mobile networks security verification.

 

Waiting for your kind reply.

 

Best Regards

Ahmed Taha 		 	   		  




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.