Bernd Krieg-Brückner

MaRDI QIDQ578890zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Partial pushout semantics of generics in DOL Theoretical Computer Science	2018-07-26	Paper
Formal modelling for cooking assistance Software, Services, and Systems	2015-06-22	Paper
Mechanizing Mathematical Reasoning Lecture Notes in Computer Science	2006-01-10	Paper
Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science	2005-11-11	Paper
scientific article; zbMATH DE number 2166687 (Why is no real title available?)	2005-05-09	Paper
CASL: the Common Algebraic Specification Language. Theoretical Computer Science	2003-01-21	Paper
scientific article; zbMATH DE number 1617295 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1368960 (Why is no real title available?)	2001-04-01	Paper
scientific article; zbMATH DE number 1107619 (Why is no real title available?)	1998-01-21	Paper
scientific article; zbMATH DE number 176535 (Why is no real title available?)	1993-05-18	Paper
ANNA. A language for annotating Ada programs. Reference manual Lecture Notes in Computer Science	1987-01-01	Paper
scientific article; zbMATH DE number 3936487 (Why is no real title available?)	1985-01-01	Paper
Programming in a wide spectrum language: A collection of examples Science of Computer Programming	1981-01-01	Paper
Derivation of Invariant Assertions During Program Development by Transformation ACM Transactions on Programming Languages and Systems	1980-01-01	Paper

Research outcomes over time

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