Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006
DBLP:	db/conf/psse/psse2004.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 8 of 8  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. Refinement: An overview.	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper Ana Cavalcanti, Jim Woodcock. A Tutorial Introduction to CSP in	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper Philip B. Clayton, Colin O'Halloran. Using the Compliance Notation in Industry.	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper Jim Davies. Using CSP.	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper David Déharbe. Techniques for Temporal Logic Model Checking.	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper Zhiming Liu, Mathai Joseph. Real-Time and Fault-Tolerant Systems.	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper Annabelle McIver, Carroll Morgan. Developing and Reasoning About Probabilistic Programs in	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004
	Conference paper Augusto Sampaio, Paulo Borba. Transformation Laws for Sequential Object-Oriented Programming.	Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 2006	(0)	2004

Show item 1 to 8 of 8  

Your query returned 8 matches in the database.