Publications :: Search

Show venue

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

Conference
Name:	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994
DBLP:	db/conf/sosl/sosl1993.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Egidio Astesiano, Maura Cerioli. Multiparadigm Specification Languages: A First Attempt at Foundations.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Bart Botma. Rendez-vous with Bundle Event Structures.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Stephen Brien. The Development of Z.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Flemming M. Damm, Bo Stig Hansen. Generation of Proof Obligations for Type Consistency.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper T. B. Dinesh. Type-Checking Revisited: Modular Error-Handling.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Loe M. G. Feijs. An Overview of the Development of COLD.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper John S. Fitzgerald, R. Moore. Experiences in Developing a Proof Theory for VDM Specifications.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Rix Groenboom, Gerard R. Renardel de Lavalette. Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Jan Friso Groote, Alban Ponse. Proof Theory for muCRL: A Language for Processes with Data.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993
	Conference paper Stefan Kahrs, Donald Sannella, Andrzej Tarlecki. The Semantics of Extended ML: A Gentle Introduction.	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 1994	(0)	1993

Show item 1 to 10 of 19  

Your query returned 19 matches in the database.