search result

Cover von Language-based security; 2
special issue : S. 129 - 349
Search for this author
Year: 2005
Publisher: Cambridge, Cambridge University Press
Count: 2
Media group: SPECIAL ISSUE
Cover von Types, logics and semantics for state
Search for this author
Year: 2008
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 08061
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Title, Table of Contents, Preface, List of Authors

Title, Table of Contents, Preface, List of Authors

Year: 2015
Media group: LIPIcs
Cover von 1st Summit on Advances in Programming Languages
SNAPL 2015 : May 3 - 6, 2015, Asilomar, California
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 32
Media group: LIPIcs
OPEN V 11.1.0.0