LASER Summer School 2007/2008

Peter Müller (Ed.): Advanced Lectures on Software Engineering, LASER Summer School 2007/2008. Lecture Notes in Computer Science 6029 Springer 2010, ISBN 978-3-642-13009-0

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/Hoare08
- ask others
Tony Hoare: Fine-Grain Concurrency. 1-20
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/Hoare08a
- ask others
Tony Hoare: Compensable Transactions. 21-40
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/MorandiBM08
- ask others
Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer: SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. 41-90
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/LeinoM08
- ask others
K. Rustan M. Leino, Peter Müller: Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs. 91-139
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/Shankar08
- ask others
Natarajan Shankar: Fixpoints and Search in PVS. 140-161
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/laser/Fossum08
- ask others
Tryggve Fossum: Multi Core Design for Chip Level Multiprocessing. 162-187