search result

Cover von Formal Methods
Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 : Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7498
Media group: MONOGRAPHIE
Cover von Stack-based access control and secure information flow

Stack-based access control and secure information flow

article
Author: Banerjee, Anindya -Oxford-; Naumann, David A.
Year: 2005
Media group: ARTICLE
Cover von Relational Logic with Framing and Hypotheses

Relational Logic with Framing and Hypotheses

Year: 2016
Media group: LIPIcs
Cover von FTfJP 2002; 7
formal techniques for Java-like programs : special issue : S. 645 -734
Search for this author
Year: 2004
Publisher: Chichester, Wiley
Count: 7
Media group: SPECIAL ISSUE
Cover von Language-based security
Search for this author
Year: 2003
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 03411
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Toward Tool-Independent Summaries for Symbolic Execution

Toward Tool-Independent Summaries for Symbolic Execution

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0