Cited By
View all- Hoang TSnook CDghaym DFathabadi AButler M(2023)Building an Extensible Textual Framework for the Rodin PlatformSoftware Engineering and Formal Methods. SEFM 2022 Collocated Workshops10.1007/978-3-031-26236-4_11(132-147)Online publication date: 11-Feb-2023
- Gast H(2012)Engineering the Prover InterfaceElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2012.06.002285:C(3-16)Online publication date: 19-Sep-2012
- Chalin PRobby James PLee JKarabotsos G(2010)Towards an industrial grade IVE for Java and next generation research platform for JMLInternational Journal on Software Tools for Technology Transfer10.1007/s10009-010-0164-812:6(429-446)Online publication date: 15-Jun-2010
- Show More Cited By