Authors: Bultan, T Gerber, R League, C

Citation: T. Bultan et al., Composite model-checking: Verification with type-specific symbolic representations, ACM T SOFTW, 9(1), 2000, pp. 3-50

Authors: League, C Zhong, S Trifonov, V

Citation: C. League et al., Representing Java classes in a typed intermediate language, ACM SIGPL N, 34(9), 1999, pp. 183-196

Authors: Shao, Z League, C Monnier, S

Citation: Z. Shao et al., Implementing typed intermediate languages, ACM SIGPL N, 34(1), 1999, pp. 313-323