Larch

About this book
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.
Details
- OL Work ID
- OL4316414W
Subjects
Computer programmingComputer softwareDevelopmentLarch (Computer program language)formal specificationsoftware engineering