Skip to content

Make Flows Small Again: Revisiting the Flow Framework.

Roland Meyer, Thomas Wies, Sebastian Wolff

VenueATACAS
Year2023
ProceedingsTACAS (1)

Browse the full TACAS paper archive.