SASYFT

AcronymDefinition
SASYFTSecurity Analysis of Systems: Formalisms and Tools (workshop)