home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
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
Google
Google Scholar
MS Academic Search
PubZone
Tony Hoare
:
Fine-Grain Concurrency.
1-20
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
conf/laser/Hoare08a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Tony Hoare
:
Compensable Transactions.
21-40
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
conf/laser/MorandiBM08
ask others
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
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
Google
Google Scholar
MS Academic Search
PubZone
Tryggve Fossum
:
Multi Core Design for Chip Level Multiprocessing.
162-187