Strafbares Unterlassen im Fall einer Gelbsttötung
- 期刊名称JuristenZeitung
- 作者WILHELM GALLAS
- 卷第15卷
- 期第22期
- 印刷ISSN0022-6882
- 电子ISSN1868-7067
- 文件大小1722.64KB
- 发表时间1960-11-18
- DOI10.2307/20806048
- 页码686-692
[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