Skip to content
Cover of Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

by John Guttag

Writing a summary for young readers…

For young readers

Book data: Open Library