Formal Tools

Modeling Telecom Networks And Systems Architecture: Conceptual Tools And Formal Methods

Leveraging Applications Of Formal Methods, Verification And Validation: Tools And Trends

From Software Engineering To Formal Methods And Tools, And Back

Larch: Languages And Tools For Formal Specification

Larch: Languages And Tools For Formal Specification (Monographs In Computer Science)

Larch: Languages And Tools For Formal Specification

Formal Description Techniques Ix - Theory, Application And Tools