![[ACM Press the Third C* Conference - Montréal, Quebec, Canada (2010.05.19-2010.05.20)] Proceedings of the Third C* Conference on Computer Science and Software Engineering - C3S2E '10 - Towards a self-forensics property in the ASSL toolset]()
[ACM Press the Third C* Conference - Montréal, Quebec, Canada (2010.05.19-2010.05.20)] Proceedings of the Third C* Conference on Computer Science and Software Engineering - C3S2E '10 - Towards a self-forensics property in the ASSL toolsetMokhov, Serguei A.; Vassev, Emil; Paquet, Joey; Debbabi, Mourad · 2010