Publications :: Search

Show venue

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

Conference
Name:	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993
DBLP:	db/conf/larch/larch1992.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 17  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper John W. Baugh Jr.. Is Engineering Software Amenable to Formal Specification?	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Michel Bidoit, Rolf Hennicker. How to Prove Observational Theorems with LP.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Karl-Heinz Buth. Using SOS Definitions in Term Rewriting Proofs.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Boutheina Chetali, Pierre Lescanne. An Exercise in LP: The Proof of a Non Restoring Division Circuit.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Christine Choppy, Michel Bidoit. Integrating ASSPEGIQUE and LP.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Urban Engberg, Peter Grønning, Leslie Lamport. Mechanical Verification of Concurrent Systems with TLA.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Gary Feldman, Joseph Wild. The DECspec Project: Tools for Larch/C.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper David Guaspari, Carla Marceau, Wolfgang Polak. Formal Verification of Ada Programs.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Kevin D. Jones. A Semantics for a Larch/Modula-3 Interface Language.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992
	Conference paper Gary T. Leavens, Yoonsik Cheon. Preliminary Design of Larch/C++.	First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 1993	(0)	1992

Show item 1 to 10 of 17  

Your query returned 17 matches in the database.