Towards formal proof script refactoring
- Iain Whiteside
- , David Aspinall
- , Lucas Dixon
- , Gudmund Grov
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
17
Link opens in a new tab
Citations
(Scopus)