Composing leads-to properties

Authors:
David Meier;Beverly Sanders
Affiliations:
Pilgerweg I, Zurich, Switzerland;Univ. of Florida, Gainesville
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 2

Composing invariants

Science of Computer Programming
A fixpoint semantics of event systems with and without fairness assumptions

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	5.23

Visualization

Abstract