Zur strafrechtlichen Verantwortlichkeit des Spruchrichters und Staatsanwalts für den Inhalt der richterlichen Entscheidung
- 期刊名称JuristenZeitung
- 作者KURT MOHRBOTTER
- 卷第24卷
- 印刷ISSN0022-6882
- 电子ISSN1868-7067
- 文件大小1315.56KB
- 发表时间1969-08-8
- DOI10.2307/20808929
- 页码491-495
[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