Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Michael C. McCord, Violetta Cavalli-Sforza
ACL 2007
Marshall W. Bern, Howard J. Karloff, et al.
Theoretical Computer Science