UNIX STREAMS Generation from a Formal Specification.

Pawel Rychwalski, Jacek Wytrebowicz

Browse the full FORTE paper archive.