Grazyna Mirkowska

Available identifiers

zbMath Open mirkowska.grazynaMaRDI QIDQ2719125

List of research outcomes

Publication	Date of Publication	Type
Verifying a Class: combining Testing and Proving	2010-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5506350	2009-01-28	Paper
First-Order Specifications of Programmable Data Types	2001-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4332420	1997-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q3030236	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792662	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709855	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735690	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3718147	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3315480	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3327709	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3966137	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919070	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3923593	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3947646	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957925	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957926	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3881900	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3881901	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880270	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167573	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130976	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130977	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4164784	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117361	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111081	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626601	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Grazyna Mirkowska