Details

Subject(s)

• Formal methods (Computer science)—Congresses [Browse]
• Software engineering—Congresses [Browse]
• Computer software—Verification—Congresses [Browse]

Subseries of

Specification, Verification and Design Languages, FDL, Forum on

Source of description

Description based on: online resource; title from title screen (IEEE Xplore Digital Library, viewed March 23, 2018).

ISBN

• 979-1-0922-7904-7
• 2-9530504-9-3

Statement on language in description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...