Blättern nach Person

Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. ; Nalon, Claudia (eds.) :
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
[Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2]
In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings. In: Lecture Notes in Computer Science , 10501 . Springer
[ Konferenzveröffentlichung] , (2017)

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Margaria, Tiziana ; Steffen, Bernhard (eds.) :
Information Flow Analysis for Go.
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_30]
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer International Publishing , S. 431-445. ISBN 978-3-319-47166-2 ISSN 0302-9743
[Buchkapitel] , (2016)

Bodden, Eric ; Falzon, Kevin ; Pun, Ka I. ; Stolz, Volker :
Delta-oriented Monitor Specification.
[Online-Edition: http://www.bodden.de/pubs/bfp+12delta.pdf]
In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012). Springer
[ Konferenzveröffentlichung] , (2012)