Publications :: Search

Show venue

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

Conference
Name:	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004
DBLP:	db/conf/sefm/sefm2004.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 43  

Select a publication
Show	Title	Venue	Rating	Date
	Marcel Oliveira, Manuela Xavier, Ana Cavalcanti. Refine and Gabriel: Support for Refinement and Tactics.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten. Models and Temporal Logics for Timed Component Connectors.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Jun Pang, Jaco van de Pol, Miguel Valero Espada. Abstraction of Parallel Uniform Processes with Data.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	K. Rustan M. Leino, Wolfram Schulte. Exception Safety for C#.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Hubert Baumeister, Alexander Knapp, Martin Wirsing. Property-Driven Development.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Bernhard Beckert, Vladimir Klebanov. Proof Reuse for Deductive Program Verification.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Stefan Berghofer, Tobias Nipkow. Random Testing in Isabelle/HOL.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira. Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walter Truszkowski, James L. Rash. Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004
	Richard Torbjørn Sanders, Rolv Bræk. Modeling Peer-to-Peer Service Goals in UML.	2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China 2004	(0)	2004

Your query returned 43 matches in the database.