Computer Security
Organisation
Organisation
Organisation
History:
1997 - 2009 - SEN3 - Coordination Languages
2010 - 2012 - SEN3 - Foundations of Software Engineering
2013 - 2020 - FM - Formal Methods
2020- .... - CS - Computer Security (was abbrev. CSY)