default search action

combined dblp search
author search
venue search
publication search

ask others

Software Safety and Security 2012

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - series/natosec/33
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/33
Tobias Nipkow, Orna Grumberg, Benedikt Hauptmann:
Software Safety and Security - Tools for Analysis and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 33, IOS Press 2012, ISBN 978-1-61499-027-7
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Blanchet12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Blanchet12
Bruno Blanchet:
Mechanizing Game-Based Proofs of Security Protocols. 1-25
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Comon-LundhD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Comon-LundhD12
Hubert Comon-Lundh, Stéphanie Delaune:
Formal Security Proofs. 26-63
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Grumberg12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Grumberg12
Orna Grumberg:
Model Checking: From BDDs to Interpolation. 64-84
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Klein12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Klein12
Gerwin Klein:
Interactive Proof: Applications to Semantics. 85-125
- view
  authority control:
- export record
  dblp key:
  - series/natosec/KwiatkowskaP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/KwiatkowskaP12
Marta Z. Kwiatkowska, David Parker:
Advances in Probabilistic Model Checking. 126-151
- view
  authority control:
- export record
  dblp key:
  - series/natosec/KoenigL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/KoenigL12
Jason Koenig, K. Rustan M. Leino:
Getting Started with Dafny: A Guide. 152-181
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Majumdar12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Majumdar12
Rupak Majumdar:
Lecture Notes on Software Model Checking. 182-204
- view
  authority control:
- export record
  dblp key:
  - series/natosec/WeissenbacherM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/WeissenbacherM12
Georg Weissenbacher, Sharad Malik:
Boolean Satisfiability Solvers: Techniques and Extensions. 205-253
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Nipkow12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Nipkow12
Tobias Nipkow:
Interactive Proof: Introduction to Isabelle/HOL. 254-285
- view
  authority control:
- export record
  dblp key:
  - series/natosec/OHearn12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/OHearn12
Peter W. O'Hearn:
A Primer on Separation Logic (and Automatic Program Verification and Analysis). 286-318
- view
  authority control:
- export record
  dblp key:
  - series/natosec/HedinS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/HedinS12
Daniel Hedin, Andrei Sabelfeld:
A Perspective on Information-Flow Control. 319-347
- view
  authority control:
- export record
  dblp key:
  - series/natosec/GawlitzaS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/GawlitzaS12
Thomas Martin Gawlitza, Helmut Seidl:
Precise Program Analysis through Strategy Iteration and Optimization. 348-384

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.