Bernd Krieg-Brückner

Available identifiers

zbMath Open krieg-bruckner.berndDBLPk/BerndKriegBrucknerWikidataQ102257264 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

This page was built for person: Bernd Krieg-Brückner