Experiment in the application of FMME techniques for scaling up assurance efforts by enhancing popular proof tools via the use of theory morphisms between sessions

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.