Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Marvin Jansen"'
Autor:
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll
Publikováno v:
Lecture Notes in Computer Science, 13240
Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030993351
Cham : Springer International Publishing, Lecture Notes in Computer Science 13240, 57-84 (2022). doi:10.1007/978-3-030-99336-8_3
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey31. European Symposium on Programming, ESOP 2022, online, 2022-04-02-2022-04-07European Joint Conferences on Theory and Practice of Software, ETAPS 2022, online, 2022-04-02-2022-04-07
Batz, K, Fesefeldt, I, Jansen, M, Katoen, J P, Keßler, F, Matheja, C & Noll, T 2022, Foundations for Entailment Checking in Quantitative Separation Logic . in I Sergey (ed.), Programming Languages and Systems . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13240, pp. 57-84, 31 st European Symposium on Programming, Munich, Bavaria, Germany, 02/04/2022 . https://doi.org/10.1007/978-3-030-99336-8_3
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030993351
Cham : Springer International Publishing, Lecture Notes in Computer Science 13240, 57-84 (2022). doi:10.1007/978-3-030-99336-8_3
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey31. European Symposium on Programming, ESOP 2022, online, 2022-04-02-2022-04-07European Joint Conferences on Theory and Practice of Software, ETAPS 2022, online, 2022-04-02-2022-04-07
Batz, K, Fesefeldt, I, Jansen, M, Katoen, J P, Keßler, F, Matheja, C & Noll, T 2022, Foundations for Entailment Checking in Quantitative Separation Logic . in I Sergey (ed.), Programming Languages and Systems . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13240, pp. 57-84, 31 st European Symposium on Programming, Munich, Bavaria, Germany, 02/04/2022 . https://doi.org/10.1007/978-3-030-99336-8_3
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers instead of truth values, e.g., the probability of memory-safe termination i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe7eee5e60871dcf13ecc111f5401ac3
https://hdl.handle.net/20.500.11850/544488
https://hdl.handle.net/20.500.11850/544488
Autor:
Marvin Jansen
In den letzten zwei Jahrzehnten erfolgte kaum Grundlagenforschung zu Homosexualität im Allgemeinen und zu Partnerschaften schwuler Männer im Besonderen. Bisherige Erkenntnisse lassen innerpartnerschaftliche Herausforderungen in Beziehungen schwuler