Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

authors: Leslie Lamport

(UNKNOWN)

date: 2002

specification languages

• TLA+

keywords

(nil)

URL

• http://lamport.azurewebsites.net/tla/book.html

BibTeX

@book{cab20e51-d431-4a80-b1d6-6f39393f8bdb,
  title = {Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers},
  author = {Leslie Lamport},
  year = {2002},
}