Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

LASER Summer School 2011

> Home > Conferences and Workshops > LASER Summer School

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/laser/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/2011
Bertrand Meyer, Martin Nordio:
Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7682, Springer 2012, ISBN 978-3-642-35745-9
- view
  authority control:
- export record
  dblp key:
  - conf/laser/ClarkeKNZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/ClarkeKNZ11
Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani:
Model Checking and the State Explosion Problem. 1-30
- view
  authority control:
- export record
  dblp key:
  - conf/laser/GodefroidL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/GodefroidL11
Patrice Godefroid, Shuvendu K. Lahiri:
From Program to Logic: An Introduction. 31-44
- view
  authority control:
- export record
  dblp key:
  - conf/laser/Paulin-Mohring11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/Paulin-Mohring11
Christine Paulin-Mohring:
Introduction to the Coq Proof-Assistant for Practical Software Verification. 45-95
- view
  authority control:
- export record
  dblp key:
  - conf/laser/MunozD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/MunozD11
César A. Muñoz, Ramiro A. Demasi:
Advanced Theorem Proving Techniques in PVS and Applications. 96-132
- view
  authority control:
- export record
  dblp key:
  - conf/laser/TschannenFNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/TschannenFNM11
Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer:
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. 133-155
- view
  authority control:
- export record
  dblp key:
  - conf/laser/HerbertLQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/HerbertLQ11
Luke Herbert, K. Rustan M. Leino, Jose Quaresma:
Using Dafny, an Automatic Program Verifier. 156-181

a service of

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.