Mathematics of Software Engineering

Authors:
Manfred Broy
Affiliations:
-
Venue:
MPC '95 Mathematics of Program Construction
Year:
1995

Citing 0
Cited 1

Invited Talk: Algebraic State Machines

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract