Formalization Integrated Development Environments: The Current Landscape.

Daniel Welch
Published in: ACM SIGSOFT Softw. Eng. Notes (2018)