Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899104
DOI10.1007/11690634zbMath1180.68037OpenAlexW2504714231MaRDI QIDQ5899104
Sebastian Mödersheim, Michael Backes, Birgit Pfitzmann, Luca Viganò
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
Related Items
Uses Software