Previous
Next
Journal
- formal methods in system design6
- international journal on software tools for technology transfer6
- formal methods in system design: an international journal5
- acm transactions on embedded computing systems3
- international journal of information security3
- software & systems modeling3
- frontiers of information technology & electronic engineering2
- ieee access2
- journal of computer security2