Higher-order proof rules for algebraic specifications

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationRecent Trends in Data Type Specification
Subtitle of host publicationProceedings of the 5th Workshop on Abstract Data Types (WADT)
EditorsFerno Orejas
Volume785
Publication statusPublished - 1992

Cite this

Schobbens, P-Y. (1992). Higher-order proof rules for algebraic specifications. In F. Orejas (Ed.), Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT) (Vol. 785)
Schobbens, Pierre-Yves. / Higher-order proof rules for algebraic specifications. Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT). editor / Ferno Orejas. Vol. 785 1992.
@inbook{7f9770dae62c4360898548e4948a48e4,
title = "Higher-order proof rules for algebraic specifications",
author = "Pierre-Yves Schobbens",
note = "Publication editors : Fernando Orejas",
year = "1992",
language = "English",
volume = "785",
editor = "Ferno Orejas",
booktitle = "Recent Trends in Data Type Specification",

}

Schobbens, P-Y 1992, Higher-order proof rules for algebraic specifications. in F Orejas (ed.), Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT). vol. 785.

Higher-order proof rules for algebraic specifications. / Schobbens, Pierre-Yves.

Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT). ed. / Ferno Orejas. Vol. 785 1992.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

TY - CHAP

T1 - Higher-order proof rules for algebraic specifications

AU - Schobbens, Pierre-Yves

N1 - Publication editors : Fernando Orejas

PY - 1992

Y1 - 1992

M3 - Chapter

VL - 785

BT - Recent Trends in Data Type Specification

A2 - Orejas, Ferno

ER -

Schobbens P-Y. Higher-order proof rules for algebraic specifications. In Orejas F, editor, Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT). Vol. 785. 1992