[Cyber Security reading group] MSc student that asked about formal method

[Andrea Margheri]

Dear all MSc students in the list, 
	
	two weeks ago, one of you was attending the reading group on formal methods. We discussed potential projects on formal methods. Could you please drop me an email? 

Thanks, 
Andrea