Provably Correct Systems

Summary

Provably Correct Systems is an edited volume^[1].

Key Facts

• Provably Correct Systems's instance of is recorded as edited volume^[2].
• Provably Correct Systems's instance of is recorded as written work^[3].
• Provably Correct Systems's editor is recorded as Michael Hinchey^[4].
• Provably Correct Systems's editor is recorded as Jonathan Bowen^[5].
• Provably Correct Systems's editor is recorded as Ernst-Rüdiger Olderog^[6].
• Provably Correct Systems's publisher is recorded as Springer Nature Switzerland AG^[7].
• Provably Correct Systems's publisher is recorded as Springer Nature^[8].
• Provably Correct Systems's DOI is recorded as 10.1007/978-3-319-48628-4^[9].
• Provably Correct Systems's language of work or name is recorded as English^[10].
• Provably Correct Systems's publication date is recorded as +2017-00-00T00:00:00Z^[11].
• Provably Correct Systems's Open Library ID is recorded as OL20828068W^[12].
• Provably Correct Systems's has edition or translation is recorded as Q133838314^[13].
• Provably Correct Systems's has edition or translation is recorded as Q135193961^[14].
• Provably Correct Systems's zbMATH Open document ID is recorded as 1407.68035^[15].
• Provably Correct Systems's main subject is recorded as formal methods^[16].
• Provably Correct Systems's title is recorded as Provably Correct Systems^[17].
• Provably Correct Systems's maintained by WikiProject is recorded as WikiProject Mathematics^[18].

Body

Authorship and Creation

Editors include Michael Hinchey^[4], Jonathan Bowen^[5], and Ernst-Rüdiger Olderog^[6]. Publishers include Springer Nature Switzerland AG^[7] and Springer Nature^[8].

Publication

Provably Correct Systems's publication date is recorded as +2017-00-00T00:00:00Z^[11]. Its language of work or name is recorded as English^[10].

Subject and Themes

Provably Correct Systems's main subject is recorded as formal methods^[16].