CITATION STYLE
Kolyang, Lüth, C., Meyer, T., & Wolff, B. (1997). TAS and IsaWin: Generic interfaces for transformational program development and theorem proving (pp. 855–858). https://doi.org/10.1007/bfb0030646
Mendeley helps you to discover research relevant for your work.