Skip to content

The Equational Logic of Iterative Processes.

Stephen L. Bloom

VenueBFCT
Year1989
ProceedingsFCT

Browse the full FCT paper archive.