Label algebras and exception handling

Authors:
Gilles Bernot;Pascale Le Gall;Marc Aiguier
Affiliations:
-;-;-
Venue:
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Year:
1994

Citing 0
Cited 3

Hierarchical Heterogeneous Specifications

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Structures for Abstract Rewriting

Journal of Automated Reasoning
An algebraic approach for codesign

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract