Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Multi-valued logic Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on. :118-123 1996
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Multiple-valued logic Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on. :240-249 1994
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on. :238-245 1991
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) Software Engineering and Formal Methods, 2006. SEFM 2006. Fourth IEEE International Conference on. :60-60 2006
Peng, C & Rajan, A 2019, CLTestCheck: Measuring Test Effectiveness for GPU Kernels . in R Hähnle & W van der Aalst (eds), Proceedings of FASE 2019 (held as part of ETAPS 2019) . vol. 11424, Lecture Notes in Computer Science (LNCS), vol. 11424, pp. 315-331, 22nd International Conference on Fundamental Approaches to Software Engineering (FASE), Prague, Czech Republic, 8/04/19 . https://doi.org/10.1007/978-3-030-16722-6_19