Research on semantics and algorithm of formal analysis tool Scyther
Conference proceeding (October 2022)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Conference proceeding (October 2022)
Article in Science China Information Sciences (June 2007)
Book chapter (January 2007)