The Habbanite Isolate
- 期刊名称Human Heredity
- 作者Bonné, B.; Ashbel, S.; Modai, M.; Godber, M.J.; Mourant, A.E.; Tills, D.; Woodhead, B.G.
- 卷第20卷
- 期第6期
- 印刷ISSN0001-5652
- 电子ISSN1423-0062
- 文件大小1464.39KB
- 发表时间1970
- DOI10.1159/000152367
- 页码609-622
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Triangulating context lemmasMcLaughlin, Craig; McKinna, James; Stark, Ian · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Mechanising blockchain consensusPîrlea, George; Sergey, Ilya · 2018
[ACM Press the 2018 7th International Conference - Kuantan, Malaysia (2018.02.08-2018.02.10)] Proceedings of the 2018 7th International Conference on Software and Computer Applications - ICSCA 2018 - CDMGShohieb, Samaa M. · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - HOπ in CoqLenglet, Sergueï; Schmitt, Alan · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - HOπ in CoqLenglet, Sergueï; Schmitt, Alan · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Mechanising and verifying the WebAssembly specificationWatt, Conrad · 2018
[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Mechanising and verifying the WebAssembly specificationWatt, Conrad · 2018
[ACM Press the 2018 7th International Conference - Kuantan, Malaysia (2018.02.08-2018.02.10)] Proceedings of the 2018 7th International Conference on Software and Computer Applications - ICSCA 2018 - TEXTnologyGarcia, Paul G.; Galeon, Dario H.; Palaoag, Thelma D. · 2018
[IEEE 2015 4th International Conference on Software Engineering and Computer Systems (ICSECS) - Kuantan, Malaysia (2015.8.19-2015.8.21)] 2015 4th International Conference on Software Engineering and Computer Systems (ICSECS) - Adopting search-based algorithms for pairwise testingNasser, Abdullah B.; Alsewari, AbdulRahman A.; Zamli, Kamal Z. · 2015
[IEEE 2015 IEEE Student Conference on Research and Development (SCOReD) - Kuala Lumpur, Malaysia (2015.12.13-2015.12.14)] 2015 IEEE Student Conference on Research and Development (SCOReD) - Sequence and sequence-less T-way test suite generation strategy based on flower pollination algorithmNasser, Abdullah B.; Hujainah, Fadhl; Alsewari, AbdulRahman A.; Zamli, Kamal Z. · 2015
[IEEE 2015 IEEE International Conference on Control System, Computing and Engineering (ICCSCE) - Penang, Malaysia (2015.11.27-2015.11.29)] 2015 IEEE International Conference on Control System, Computing and Engineering (ICCSCE) - Assessing optimization based strategies for t-way test suite generation: The case for flower-based strategyNasser, Abdullah B.; Sariera, Yazan A.; Alsewari, AbdulRahman A.; Zamli, Kamal Z. · 2015