default search action

combined dblp search
author search
venue search
publication search

ask others

PSSE 2004: Recife, Brazil

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > PSSE

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/psse/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/2004
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3167, Springer 2006, ISBN 978-3-540-46253-8
- view
  authority control:
- export record
  dblp key:
  - conf/psse/CavalcantiSW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/CavalcantiSW04
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock:
Refinement: An overview. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/psse/SampaioB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/SampaioB04
Augusto Sampaio, Paulo Borba:
Transformation Laws for Sequential Object-Oriented Programming. 18-63
- view
  authority control:
- export record
  dblp key:
  - conf/psse/Davies04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/Davies04
Jim Davies:
Using CSP. 64-122
- view
  authority control:
- export record
  dblp key:
  - conf/psse/McIverM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/McIverM04
Annabelle McIver, Carroll Morgan:
Developing and Reasoning About Probabilistic Programs in pGCL. 123-155
- view
  authority control:
- export record
  dblp key:
  - conf/psse/LiuJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/LiuJ04
Zhiming Liu, Mathai Joseph:
Real-Time and Fault-Tolerant Systems. 156-219
- view
  authority control:
- export record
  dblp key:
  - conf/psse/CavalcantiW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/CavalcantiW04
Ana Cavalcanti, Jim Woodcock:
A Tutorial Introduction to CSP in Unifying Theories of Programming. 220-268
- view
  authority control:
- export record
  dblp key:
  - conf/psse/ClaytonO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/ClaytonO04
Phil Clayton, Colin O'Halloran:
Using the Compliance Notation in Industry. 269-314
- view
  authority control:
- export record
  dblp key:
  - conf/psse/Deharbe04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/Deharbe04
David Déharbe:
Techniques for Temporal Logic Model Checking. 315-367

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.