Miroslawa Milkowska

2005
6	EE	Wlodzimierz Drabent, Miroslawa Milkowska: Proving Correctness and Completeness of Normal Programs - a Declarative Approach CoRR abs/cs/0501043: (2005)
5	EE	Wlodzimierz Drabent, Miroslawa Milkowska: Proving correctness and completeness of normal programs - a declarative approach. TPLP 5(6): 669-711 (2005)
2001
4	EE	Wlodzimierz Drabent, Miroslawa Milkowska: Proving Correctness and Completeness of Normal Programs - A Declarative Approach. ICLP 2001: 284-299
1997
3		Feliks Kluzniak, Miroslawa Milkowska: Spill - A Logic Language for Writing Testable Requirements Specifications. Sci. Comput. Program. 28(2-3): 193-223 (1997)
1994
2		Feliks Kluzniak, Miroslawa Milkowska: Readable, Runnable Requirements Specifications in SPILL-2. PLILP 1994: 449-450
1988
1		Feliks Kluzniak, Miroslawa Milkowska: Towards a "Middle Road" Methodology for Writing Code Generators. PLILP 1988: 105-118

Coauthor Index

1	Wlodzimierz Drabent (Wlodek Drabent)	[4] [5] [6]
2	Feliks Kluzniak	[1] [2] [3]

Colors in the list of coauthors