Person:578890

Available identifiers

zbMath Open krieg-bruckner.berndWikidataQ102257264 ScholiaQ102257264MaRDI QIDQ578890

List of research outcomes

Publication	Date of Publication	Type
Partial pushout semantics of generics in DOL	2018-07-26	Paper
Formal Modelling for Cooking Assistance	2015-06-22	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4673951	2005-05-09	Paper
CASL: the Common Algebraic Specification Language.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2722020	2001-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4702604	2001-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4373553	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4035701	1993-05-18	Paper
ANNA. A language for annotating Ada programs. Reference manual	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707372	1985-01-01	Paper
Programming in a wide spectrum language: A collection of examples	1981-01-01	Paper
Derivation of Invariant Assertions During Program Development by Transformation	1980-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: Bernd Krieg-Brückner