Irwin Meisels

	1993
5		Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels: An EVES Data Abstraction Example. FME 1993: 578-596
4		Sentot Kromodimoeljo, Bill Pase, Mark Saaltink, Dan Craigen, Irwin Meisels: The EVES System. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 349-373
	1992
3		Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: Eves System Description. CADE 1992: 771-775
	1991
2		Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink: EVES: An Overview. VDM Europe (1) 1991: 389-405
	1988
1		Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink: m-EVES: A Tool for Verifying Software. ICSE 1988: 324-333

Coauthor Index

1	Dan Craigen	[1] [2] [3] [4] [5]
2	Sentot Kromodimoeljo	[1] [2] [3] [4] [5]
3	A. Neilson	[1]
4	Bill Pase	[1] [2] [3] [4] [5]
5	Mark Saaltink	[1] [2] [3] [4] [5]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page