Marcin Engel

	2000
3		Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz: Towards Automated Consistency Checking of Module Interface Specifications. Fundam. Inform. 42(3-4): 251-278 (2000)
	1994
2		Marcin Engel: Specifying Real-Time Systems with Z and the Duration Calculus. Z User Workshop 1994: 282-294
	1992
1		Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen: A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems 1992: 452-474

Coauthor Index

1	Artur Kret	[3]
2	Marcin Kubica	[1]
3	Jan Madey	[1]
4	Janina Mincer-Daszkiewicz	[3]
5	David Lorge Parnas	[1]
6	Anders P. Ravn	[1]
7	A. John van Schouwen	[1]

Colors in the list of coauthors